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

Age	Commit message (Expand)	Author
2014-03-11	Fix for rewriterules build breakage.	Morgan Deters
2013-05-22	Significant work on bounded integer quantification to handle non-trivial boun...	Andrew Reynolds
2013-04-02	Regenerated copyrights: canonicalized names, no emails	Morgan Deters
2013-04-01	update copyrights	Morgan Deters
2013-02-13	repairs a bug in rewriterule engine: constructor cannot be used as a pattern	Tianyi Liang
2012-11-14	replaced all static member data from rewrite rule triggers, added infrastruct...	Andrew Reynolds
2012-10-11	Standardizing copyright notice. Touches ALL sources, guys, sorry.. it's	Morgan Deters
2012-07-31	Moving some instantiation-related stuff from src/theory to src/theory/quantif...	Morgan Deters