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

Age	Commit message (Expand)	Author
2017-05-08	Support rewrite proofs	Andres Notzli
2016-02-01	Removing the CVC4_NEEDS_REPLACEMENT_FUNCTIONS guard to have a simpler build p...	Tim King
2014-08-06	First crack at fixing double-linking issues in build system.	Morgan Deters
2013-11-10	Flatten libcvc4 build structure; remove some #include interdependences	Morgan Deters
2013-03-14	fix to build system: #include the proper file when they are in both builds an...	Morgan Deters
2012-11-05	fixes for replacement function library	Morgan Deters
2011-09-30	interfaces fixes and cleanups...and examples of each interface!	Morgan Deters
2011-09-27	more interface work; adding legacy C interface	Morgan Deters
2011-09-21	considerable bindings interface work, some improvements to build	Morgan Deters
2011-09-02	Merge from my post-smtcomp branch. Includes:	Morgan Deters