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/minisat+/minisat+_1.0-5_amd64.deb (Size: 145.8KiB)

PropertyValue
Packageminisat+
Version1.0-5
Installed-Size383
MaintainerDebian Science Maintainers
Architectureamd64
Dependslibc6 (>= 2.38), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.3.0+dfsg), libstdc++6 (>= 5)
Descriptionsolver for pseudo-Boolean constraints
Description-md55abc23f5b2ba8e7a876d2a8e3bf6dfdb
Homepagehttp://minisat.se/MiniSat+.html
Tagfield::mathematics, role::program
Sectionscience
Priorityoptional
Filenamepool/main/m/minisat+/minisat+_1.0-5_amd64.deb
Size149280
MD5sume04c018624d7e88a0f2e511be80eb93d
SHA2569ced13770b9d5e43fc2b00791f9fcc279e463876607166c2ad7f8fdbf2a3fba4

Files in package

  • /usr/bin/minisat+
  • /usr/share/doc/minisat+/changelog.Debian.gz
  • /usr/share/doc/minisat+/copyright
  • /usr/share/doc/minisat+/examples/garden9x9.opb
  • /usr/share/doc/minisat+/examples/stein27_bignum.opb
  • /usr/share/doc/minisat+/examples/unsat.opb
  • /usr/share/man/man1/minisat+.1.gz