cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Expand)	Author
2011-10-04	oops, one more fix, hopefully the last	Morgan Deters
2011-10-04	more fixes for libantlr3c v3.4	Morgan Deters
2011-09-02	Merge from my post-smtcomp branch. Includes:	Morgan Deters
2010-07-06	Fixes for doubled-statistics (bug 171), a fix to muzzled builds and some mino...	Morgan Deters
2010-06-04	Don't fear the files-changed list, almost all changes are in the	Morgan Deters
2010-04-01	reran update-copyright.pl to get new contributors and add new header comments...	Morgan Deters
2010-04-01	PARSER STUFF:	Morgan Deters
2010-03-30	Merging from branches/antlr3 (r246:354)	Christopher L. Conway