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

Age	Commit message (Expand)	Author
2012-07-31	Moving some instantiation-related stuff from src/theory to src/theory/quantif...	Morgan Deters
2012-07-31	Options merge. This commit:	Morgan Deters
2012-07-27	Minor cleanup after today's commits:	Morgan Deters
2012-07-27	merging fmf-devel branch, includes refactored datatype theory, updates to mod...	Andrew Reynolds
2012-07-27	Merge quantifiers2-trunk:	François Bobot
2012-07-12	merged fmf-devel branch, includes support for SMT2 command get-value and (ext...	Andrew Reynolds
2012-06-12	Fix some compile warnings (but they never showed up on church)	Morgan Deters
2012-06-11	Merge from quantifiers2-trunkmerge branch.	Morgan Deters