Verified record · from the answer index

kissat

clitested · static-verifiedscore 23/100signed passport ✓27 monthly downloads

Bare metal SAT solver

cli:brew:kissat · published by arminbiere · source repository