minisat_release

Fast and lightweight SAT solver

Install

All systems
curl cmd.cat/minisat_release.sh
Debian Debian
apt-get install minisat
Ubuntu
apt-get install minisat
image/svg+xml Kali Linux
apt-get install minisat
Windows (WSL2)
sudo apt-get update sudo apt-get install minisat
OS X
brew install minisat
Raspbian
apt-get install minisat

minisat

Fast and lightweight SAT solver

Despite the NP completeness of the satisfiability problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems. MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. Winning all the industrial categories of the SAT 2005 competition, MiniSat is a good starting point both for future research in SAT, and for applications using SAT.