| Age | Commit message (Expand) | Author |
|---|---|---|
| 2010-07-05 | workaround for strange CIMS installation of automake; resolves bug 172: autog... | Morgan Deters |
| 2010-07-05 | Added Cesare to list of authors | Clark Barrett |
| 2010-07-05 | Changed AUTHORS - removed references to earlier CVC tool authors | Clark Barrett |
| 2010-07-03 | With this commit come a number of changes to build system to support | Morgan Deters |
| 2010-02-10 | svn:ignore for build stuff; add Liana to AUTHORS | Morgan Deters |
| 2009-11-12 | parser, minisat, other things.. | Morgan Deters |
| 2009-11-03 | commit of project structure including autotools support | Morgan Deters |
 |
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