npm

kissat

High-performance SAT solver for satisfiability problems

brewmacoslinux
Try with needOr install directly
Source

About

Bare metal SAT solver

Commands

kissat

Examples

Solve a SAT problem from a DIMACS CNF file$ kissat problem.cnf
Solve with verbose output showing statistics$ kissat -v problem.cnf
Solve with a specific time limit in seconds$ kissat --time-limit=60 problem.cnf