| Tag | Download | Author | Age | |
|---|---|---|---|---|
| test-tag2 | commit 0d51f9839e... | Andrew Reynolds | 3 years | |
| smtcomp2015-experimental | commit ff5745a9f6... | Kshitij Bansal | 9 years | |
| smtcomp2015-stable | commit 9b32405be8... | Kshitij Bansal | 9 years | |
| 1.4 | commit c0258d642d... | Morgan Deters | 10 years | |
| smtcomp2014-resubmission | commit 15a15f5c9f... | Tim King | 10 years | |
| smtcomp2014-application | commit 933a5122ca... | Morgan Deters | 10 years | |
| smtcomp2014 | commit 44fde647e6... | Morgan Deters | 10 years | |
| 1.3 | commit 97d7c35cb2... | Morgan Deters | 10 years | |
| casc24 | commit 4e32479206... | Morgan Deters | 11 years | |
| 1.2 | commit 1ef3bf7434... | Morgan Deters | 11 years | |
| smteval2013 | commit 843cfdae17... | Morgan Deters | 11 years | |
| 1.1 | commit 92058c8c7a... | Morgan Deters | 11 years | |
| smtcomp2012-resubmission-2 | commit 7fcf0cb48a... | François Bobot | 11 years | |
| smtcomp2012-resubmission | commit 2f282e67ed... | François Bobot | 11 years | |
| 1.0 | commit b1556c088e... | Morgan Deters | 11 years | |
| smtcomp2012 | commit eaa2d2f431... | Morgan Deters | 12 years | |
| smtcomp2010 | commit 6c68124e7f... | Morgan Deters | 14 years | |
 |
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