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

Age	Commit message (Expand)	Author
2012-12-01	drastic simplification of quantifiers code regarding equality queries, instan...	Andrew Reynolds
2012-11-30	quantifiers now uses master equality engine, preparation work to cleanup code	Andrew Reynolds
2012-11-02	more minor updates to inst gen and representative selection, clean up of equa...	Andrew Reynolds
2012-10-31	cleaning up some of the equality query stuff, implemented a new representativ...	Andrew Reynolds
2012-10-11	Standardizing copyright notice. Touches ALL sources, guys, sorry.. it's	Morgan Deters
2012-09-22	Separate public-facing and internal-facing interfaces to Statistics.	Morgan Deters
2012-07-31	Moving some instantiation-related stuff from src/theory to src/theory/quantif...	Morgan Deters
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-11	Merge from quantifiers2-trunkmerge branch.	Morgan Deters