| Tag: smt 2 packages with this tag | ||
| « Back to VersTracker | All Categories | All Tags | Related: verification logic solver formal-methods theorem-prover research | ||
| Package | Description | Version |
|---|---|---|
| yices2 ☆ formula | Yices SMT Solver | |
| z3 ☆ formula | High-performance theorem prover | 4.15.4 |