Verified record · from the answer index

stp

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

Simple Theorem Prover, an efficient SMT solver for bitvectors

cli:brew:stp · published by stp · source repository