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

Age	Commit message (Collapse)	Author
2016-04-03	Updating the copyright headers and scripts.	Tim King

2016-03-08	Extend synthesis solver to handle single invocation with additional ↵	ajreynol
	universal quantification. Refactor query/check-sat to call one internal function in SmtEngine. Make check-synth its own command. Minor work on quant ee.
2015-11-06	Changing file permissions to add or remove executable tag as appropriate.	Tim King

2015-09-04	Fix bugs 605 and 667.	ajreynol

2015-08-12	Improvements to --macros-quant. Enable --clause-split by default. Bug fix ↵	ajreynol
	for cbqi regarding instantiations with free skolems, extend to boolean quantification. Infrastructure for congruence closure with free variables.