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

Age	Commit message (Collapse)	Author
2020-03-31	Rename checkValid/query to checkEntailed. (#4191)	Aina Niemetz
	This renames api::Solver::checkValidAssuming to checkEntailed and removes api::Solver::checkValid. Internally, SmtEngine::query is renamed to SmtEngine::checkEntailed, and these changes are further propagated to the Result class.
2019-09-25	Use separate CMake project for CVC4 examples. (#3196)	Mathias Preiner

2019-03-26	Update copyright headers.	Aina Niemetz

2018-09-12	Examples: Remove obsolete flag CVC4_MAKE_EXAMPLES. (#2461)	Aina Niemetz

2018-06-25	Updated copyright headers.	Aina Niemetz

2017-07-07	Update copyright headers.	Mathias Preiner

2016-04-20	update from the master	PaulMeng

2014-07-01	Update copyrights.	Morgan Deters

2014-06-06	rm warning from helloworld example	Kshitij Bansal

2013-04-02	Regenerated copyrights: canonicalized names, no emails	Morgan Deters

2013-04-01	update copyrights	Morgan Deters

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-28	Adding the helloworld.cpp example.	Tim King