npm

cadical

Clean and efficient state-of-the-art SAT solver

brewmacoslinux
Try with needOr install directly
Source

About

Clean and efficient state-of-the-art SAT solver

Commands

cadical

Examples

Solve a SAT problem from a DIMACS CNF file$ cadical problem.cnf
Solve with verbose output showing statistics$ cadical -v problem.cnf
Check satisfiability and output solution to file$ cadical problem.cnf > solution.txt