cryptominisat5

SAT solver command line interface

Install

All systems
curl cmd.cat/cryptominisat5.sh
Debian Debian
apt-get install cryptominisat
Ubuntu
apt-get install cryptominisat
Arch Arch Linux
pacman -S cryptominisat5
Fedora
dnf install cryptominisat
Windows (WSL2)
sudo apt-get update sudo apt-get install cryptominisat
OS X
brew install cryptominisat

cryptominisat

SAT solver command line interface

cryptominisat5

A modern, multi-threaded, feature-rich, simplifying SAT solver