npm

minisat

Minimalistic and high-performance SAT solver for boolean satisfiability

brewmacoslinux
Try with needOr install directly
Source

About

Minimalistic and high-performance SAT solver

Commands

minisat

Examples

Solve a SAT problem from a DIMACS CNF file$ minisat input.cnf output.sat
Solve a SAT problem and display result to stdout$ minisat problem.cnf
Solve with verbose output showing statistics$ minisat -verb=1 formula.cnf result.sat