Verified record · from the answer index
cadical
clitested · static-verifiedscore 37/100signed passport ✓31 monthly downloads
Clean and efficient state-of-the-art SAT solver
cli:brew:cadical · published by arminbiere · source repository
Verified record · from the answer index
Clean and efficient state-of-the-art SAT solver
cli:brew:cadical · published by arminbiere · source repository