Verified record · from the answer index

cryptominisat

clitested · static-verifiedscore 39/100signed passport ✓97 monthly downloads

Advanced SAT solver

cli:brew:cryptominisat · published by msoos · source repository