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

Age	Commit message (Collapse)	Author
2013-04-02	Regenerated copyrights: canonicalized names, no emails	Morgan Deters

2013-02-16	Some cleanup and copyright updating	Morgan Deters
	* update some copyrights for 2013 * cleaned up some comments/ifdefs, indentation * some spelling corrections * add some missing makefiles
2013-02-04	fixed files with DOS newlines; fixed contrib/ scripts to use git	Morgan Deters

2012-10-29	more updates and minor bug fixes for fmf/inst-gen quantifier instantiation	Andrew Reynolds

2012-10-16	first draft of new inst gen method (still with bugs), some cleanup of ↵	Andrew Reynolds
	quantifiers code