Verified record · from the answer index

yices2

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

Yices SMT Solver

cli:brew:yices2 · published by sri-csl · source repository