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	Initial refactor of rewrite rules, make theory_rewriterules empty theory. Pu...	Andrew Reynolds
2014-01-28	More optimizations of quantifier instantiation data structures.	Andrew Reynolds
2013-05-22	Significant work on bounded integer quantification to handle non-trivial boun...	Andrew Reynolds
2013-05-14	Refactoring to separate old and new model building/checking code.	Andrew Reynolds
2013-04-02	Regenerated copyrights: canonicalized names, no emails	Morgan Deters
2013-02-04	fixed files with DOS newlines; fixed contrib/ scripts to use git	Morgan Deters
2012-11-07	* Type ascription bug fixed (resolves bug 432), but there are others I discov...	Morgan Deters
2012-11-02	more minor updates to inst gen and representative selection, clean up of equa...	Andrew Reynolds
2012-10-29	more updates and minor bug fixes for fmf/inst-gen quantifier instantiation	Andrew Reynolds
2012-10-23	more updates to inst gen: fixed partial instantiations, recognize duplicate d...	Andrew Reynolds
2012-10-17	first working version of new inst-gen-style quantifier instantiation techniqu...	Andrew Reynolds
2012-10-16	more cleanup of quantifiers code	Andrew Reynolds
2012-10-16	first draft of new inst gen method (still with bugs), some cleanup of quantif...	Andrew Reynolds