Verified record · from the answer index

z3

clitested · static-verifiedscore 34/100signed passport ✓1,577 monthly downloads

High-performance theorem prover

cli:brew:z3 · published by z3prover · source repository