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

Age	Commit message (Collapse)	Author
2017-07-07	Update copyright headers.	Mathias Preiner

2017-01-11	Proposed fix for bug 702. Checks to make sure the Expr's operator is not of ↵	makaimann
	kind BUILTIN before passing to prefixPrintGetValue()
2016-04-20	update from the master	PaulMeng

2014-12-09	Cleanup.	Morgan Deters

2014-07-01	Update copyrights.	Morgan Deters

2013-11-27	Incremental is now on by default when using from API, off for command-line ↵	Morgan Deters
	driver except in interactive mode.
2013-04-02	Regenerated copyrights: canonicalized names, no emails	Morgan Deters

2013-04-01	update copyrights	Morgan Deters

2012-12-01	Polishing API examples.	Tim King

2012-11-30	all API examples now have java versions too; bitvectors gets built; also ↵	Morgan Deters
	updated old-style copyrights in the examples
2012-11-30	Updating the combination.cpp example.	Tim King

2012-11-30	Changes to SExpr to accept autoconversion from bool and const char*. Adding ↵	Tim King
	an example for combination.