minisat 2.2.0-1.37dc6c6 Small, yet efficient, SAT solver
MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.
- Website: http://minisat.se/MiniSat.html
- License: Expat
- Package source: maths.scm
- Patches: minisat-friend-declaration.patch, minisat-install.patch
- Builds: x86_64-linux, i686-linux