| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2011-01-05 | Commit for the theory engine and rewriter changes. Changes are substantial ↵ | Dejan Jovanović | |
| and not yet finalized but I need to put it in to work further with the theory writers. Please check the files that you 'own'. Any comments or discussion is welcome. Further details will be coming in a follow up email later. | |||
 |
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