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

Age	Commit message (Expand)	Author
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