minisat
Fast and lightweight SAT solver
Install
- All systems
-
curl cmd.cat/minisat.sh
- Debian
-
apt-get install minisat - Ubuntu
-
apt-get install minisat - Kali Linux
-
apt-get install minisat - Fedora
-
dnf install minisat - Windows (WSL2)
-
sudo apt-get updatesudo 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.
minisat2
Transitional package for minisat
This is a transitional package for minisat, and can be safely removed after the installation is complete.