picomus

SAT solver with proof and core support

Install

All systems
curl cmd.cat/picomus.sh
Debian Debian
apt-get install picosat
Ubuntu
apt-get install picosat
image/svg+xml Kali Linux
apt-get install picosat
Fedora
dnf install picosat
Windows (WSL2)
sudo apt-get update sudo apt-get install picosat
Raspbian
apt-get install picosat
Dockerfile
dockerfile.run/picomus

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.