| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2012-06-06 | Changes to the combination mechanism, lots of details. Not done yet, there ↵ | Dejan Jovanović | |
| are still the AUFBV wrong results, but it seems better. http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=4382&reference_id=4359&p=5 | |||
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback