Package - minisat

Package:  minisat
apt-get install minisat
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/m/minisat2/minisat_2.2.1-8_amd64.deb (Size: 81.2KiB)

PropertyValue
Packageminisat
Sourceminisat2
Version1:2.2.1-8
Installed-Size406
MaintainerMichael Tautschnig
Architectureamd64
Providesminisat2
Dependslibc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 5), zlib1g (>= 1:1.1.4)
DescriptionFast and lightweight SAT solver
Description-md5638e185d46cca4091c1f6ba3a13b4c28
Homepagehttp://minisat.se/
Tagfield::mathematics, implemented-in::c++, implemented-in::java, role::program
Sectionscience
Priorityoptional
Filenamepool/main/m/minisat2/minisat_2.2.1-8_amd64.deb
Size83108
MD5sumb43a8f43dd86121b60a3d5bf4f2d4e6f
SHA2560b3a870202e022bea8b04d140ded40d9137363566706750b4540518bc0eb63d7

Files in package

  • /usr/bin/minisat
  • /usr/include/minisat/core/Dimacs.h
  • /usr/include/minisat/core/Solver.h
  • /usr/include/minisat/core/SolverTypes.h
  • /usr/include/minisat/mtl/Alg.h
  • /usr/include/minisat/mtl/Alloc.h
  • /usr/include/minisat/mtl/Heap.h
  • /usr/include/minisat/mtl/IntTypes.h
  • /usr/include/minisat/mtl/Map.h
  • /usr/include/minisat/mtl/Queue.h
  • /usr/include/minisat/mtl/Sort.h
  • /usr/include/minisat/mtl/Vec.h
  • /usr/include/minisat/mtl/XAlloc.h
  • /usr/include/minisat/simp/SimpSolver.h
  • /usr/include/minisat/utils/Options.h
  • /usr/include/minisat/utils/ParseUtils.h
  • /usr/include/minisat/utils/System.h
  • /usr/lib/libminisat.a
  • /usr/lib/libminisat.so
  • /usr/lib/libminisat.so.2
  • /usr/lib/libminisat.so.2.1.0
  • /usr/share/doc-base/minisat.minisat-user-guide
  • /usr/share/doc/minisat/changelog.Debian.gz
  • /usr/share/doc/minisat/changelog.gz
  • /usr/share/doc/minisat/copyright
  • /usr/share/doc/minisat/minisat-user-guide.html
  • /usr/share/man/man1/minisat.1.gz