Package Info

minisat


SAT solver


Development/Tools/Other

MiniSat is a comparatively small SAT solver with documentation (through the following paper). The first version was just above 600 lines while containing many then-desirable features (conflict-clause recording, conflict-driven backjumping, VSIDS dynamic variable order, two-literal watch scheme), and even extensions for incremental SAT and for non-clausal constraints over boolean variables.

The current MiniSat v2 supports variable elimination style simplification, too.


License: MIT
URL: http://minisat.se/MiniSat.html

Categories

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
2.2.0+20130925-bp150.2.4 info GA Release 2018-07-30 15
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • libminisat2
  • minisat
  • minisat-devel
2.2.0+20130925-bp151.2.16 info GA Release 2019-05-18 15 SP1
  • ppc64le
  • libminisat2
  • minisat
  • minisat-devel
2.2.0+20130925-bp151.3.1 info GA Release 2019-07-16 15 SP1
  • AArch64
  • s390x
  • x86-64
  • libminisat2
  • minisat
  • minisat-devel
2.2.0+20130925-bp152.3.16 info GA Release 2020-04-16 15 SP2
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • libminisat2
  • minisat
  • minisat-devel
2.2.0+20130925-bp153.1.17 info GA Release 2021-03-06 15 SP3
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • libminisat2
  • minisat
  • minisat-devel