This package browser is in early development. Mind the rough edges.

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.


Install minisat 2.2.0-1.37dc6c6 as follows:

guix install minisat@2.2.0-1.37dc6c6

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.