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

Age	Commit message (Expand)	Author
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
2012-12-01	drastic simplification of quantifiers code regarding equality queries, instan...	Andrew Reynolds
2012-10-24	efficient e-matching now specific to rewrite rules	Andrew Reynolds
2012-10-23	more major cleanup of quantifiers code, separating rewrite-rules-specific cod...	Andrew Reynolds
2012-10-11	Standardizing copyright notice. Touches ALL sources, guys, sorry.. it's	Morgan Deters
2012-08-20	remove duplicate function TheoryEngine::getTheory(TheoryId). It was a duplic...	Morgan Deters
2012-07-31	Moving some instantiation-related stuff from src/theory to src/theory/quantif...	Morgan Deters