picosat
SAT solver with proof and core support
Install
- All systems
-
curl cmd.cat/picosat.sh
- Debian
-
apt-get install picosat - Ubuntu
-
apt-get install picosat - Kali Linux
-
apt-get install picosat - Fedora
-
dnf install picosat - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install picosat - Raspbian
-
apt-get install picosat - Dockerfile
- dockerfile.run/picosat
picosat
SAT solver with proof and core support
Despite the NP completeness of the satisfiabilty 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. PicoSAT is a SAT solver that turned out to be faster on industrial instances than MiniSAT 2.0 and also can generate proofs and cores in memory.