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
Licenses: Expat
Package source: gnu/packages/maths.scm
Builds: See build status
Issues: See known issues

Installation

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.