search

4tXJ7f / cvc5

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Other
2 stars 5 forks source link

Take a look at benchmarks #16

Open 4tXJ7f opened 7 years ago

4tXJ7f commented 7 years ago

Benchmarks:

https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks/QF_BV/tree/master/dwp_formulas

Likely to help: Different number of repeatSimp().