This package is 127.9 KB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/m/minisat2/minisat_2.2.1-4_amd64.deb
.
View its full control file here:
debian/control.
Fast and lightweight SAT solver
This package depends on:
libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.1.1), zlib1g (>= 1:1.1.4).
This package does not recommend any other package.
This package does not suggest any other package.
This package conflicts with:
minisat2 (<< 1:2.2.1-1).
minisat 1:2.2.1-4 is in ubuntu - trusty / universe. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
postinst
|
text/x-shellscript | N/A | N/A | 135 bytes |
postrm
|
text/x-shellscript | N/A | N/A | 132 bytes |
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/minisat
|
application/x-executable | root:root | 0o755 | 22.6 KB |
/usr/include/
|
root:root | 0o755 | ||
/usr/include/minisat/
|
root:root | 0o755 | ||
/usr/include/minisat/core/
|
root:root | 0o755 | ||
/usr/include/minisat/core/Dimacs.h
|
text/x-c | root:root | 0o644 | 3.2 KB |
/usr/include/minisat/core/Solver.h
|
text/x-c++ | root:root | 0o644 | 21.6 KB |
/usr/include/minisat/core/SolverTypes.h
|
text/x-c++ | root:root | 0o644 | 15.2 KB |
/usr/include/minisat/mtl/
|
root:root | 0o755 | ||
/usr/include/minisat/mtl/Alg.h
|
text/x-c | root:root | 0o644 | 2.8 KB |
/usr/include/minisat/mtl/Alloc.h
|
text/x-c | root:root | 0o644 | 4.3 KB |
/usr/include/minisat/mtl/Heap.h
|
text/x-c | root:root | 0o644 | 4.6 KB |
/usr/include/minisat/mtl/IntTypes.h
|
text/x-c | root:root | 0o644 | 1.7 KB |
/usr/include/minisat/mtl/Map.h
|
text/x-c | root:root | 0o644 | 6.5 KB |
/usr/include/minisat/mtl/Queue.h
|
text/x-c++ | root:root | 0o644 | 2.9 KB |
/usr/include/minisat/mtl/Sort.h
|
text/x-c++ | root:root | 0o644 | 3.2 KB |
/usr/include/minisat/mtl/Vec.h
|
text/x-c++ | root:root | 0o644 | 5.4 KB |
/usr/include/minisat/mtl/XAlloc.h
|
text/x-c | root:root | 0o644 | 1.9 KB |
/usr/include/minisat/simp/
|
root:root | 0o755 | ||
/usr/include/minisat/simp/SimpSolver.h
|
text/x-c | root:root | 0o644 | 9.5 KB |
/usr/include/minisat/utils/
|
root:root | 0o755 | ||
/usr/include/minisat/utils/Options.h
|
text/x-c | root:root | 0o644 | 11.9 KB |
/usr/include/minisat/utils/ParseUtils.h
|
text/x-c++ | root:root | 0o644 | 3.9 KB |
/usr/include/minisat/utils/System.h
|
text/x-c | root:root | 0o644 | 2.4 KB |
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/libminisat.a
|
application/x-archive | root:root | 0o644 | 160.5 KB |
/usr/lib/libminisat.so
|
root:root | 0o777 | ||
/usr/lib/libminisat.so.2
|
root:root | 0o777 | ||
/usr/lib/libminisat.so.2.1.0
|
application/x-sharedlib | root:root | 0o644 | 82.4 KB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc-base/
|
root:root | 0o755 | ||
/usr/share/doc-base/minisat-user-guide
|
text/plain | root:root | 0o644 | 481 bytes |
/usr/share/doc/minisat/
|
root:root | 0o755 | ||
/usr/share/doc/minisat/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 1.0 KB |
/usr/share/doc/minisat/copyright
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/doc/minisat/minisat-user-guide.html
|
text/html | root:root | 0o644 | 8.1 KB |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/minisat.1.gz
|
application/gzip | root:root | 0o644 | 2.0 KB |