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

Age	Commit message (Expand)	Author
2011-09-02	Merge from my post-smtcomp branch. Includes:	Morgan Deters
2010-10-10	additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp...	Morgan Deters
2010-10-05	parser and core support for SMT-LIBv2 commands get-info, set-option, get-opti...	Morgan Deters
2010-10-04	remove/shuffle some #include dependencies; fix some documentation; apply codi...	Morgan Deters
2010-07-03	With this commit come a number of changes to build system to support	Morgan Deters
2010-07-02	re-generated comment headers of source files	Morgan Deters
2010-06-18	Merging the statistics branch into the main trunk. I'll go over how to use th...	Tim King
2010-06-04	Don't fear the files-changed list, almost all changes are in the	Morgan Deters
2010-05-04	Adding general support for SMT2 set-info command	Christopher L. Conway