Verified record · from the answer index
minisat
clitested · static-verifiedscore 23/100signed passport ✓9 monthly downloads
Minimalistic and high-performance SAT solver
cli:brew:minisat · published by stp · source repository
Verified record · from the answer index
Minimalistic and high-performance SAT solver
cli:brew:minisat · published by stp · source repository