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
- Licenses: Expat
- Package source: gnu/packages/maths.scm
- Builds: See build status
- Issues: See known issues
minisat 2.2.0-1.37dc6c6 as follows:
guix install email@example.com
Or install the latest version:
guix install minisat
You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the
guix shell documentation for more information.