npm

cryptominisat

Advanced SAT solver for solving satisfiability problems

brewmacoslinux
Try with needOr install directly
Source

About

Advanced SAT solver

Commands

cryptominisat5

Examples

Solve a SAT problem from a DIMACS CNF file$ cryptominisat5 problem.cnf
Solve with verbose output to see solving statistics$ cryptominisat5 --verb=1 problem.cnf
Solve and save satisfying assignment to output file$ cryptominisat5 problem.cnf --solution solution.txt