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

Age	Commit message (Collapse)	Author
2015-07-05	Add options --partial-triggers, --elim-taut-quant, improve robustness of ↵	ajreynol
	--purify-triggers. Enable --quant-alpha-equiv by default. Fix fairness issue when combining cbqi+E-matching. Avoid unecessary delta lemmas. Update casc scripts.
2015-07-01	Add options --qcf-all-conflict, --ite-dtt-split-quant, refactor ↵	ajreynol
	--ite-lift-quant. Minor bug fixes for internalReps, alpha equivalence. Update casc 25 FOF script.
2015-05-10	Minor improvements to infrastructure. Minor changes to default options. Add ↵	ajreynol
	tff script. Minor additions to sygus.
2015-05-02	Minor fix for corner cases of fmf-fun, fix for --dt-rewrite-error-sel. Add ↵	ajreynol
	competition scripts (in progress).