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

Age	Commit message (Expand)	Author
2012-09-24	Fix the memout issue seen in recent nightly regressions (was due to a	Morgan Deters
2012-08-26	minor, lying around in a wd (related to investigating bug 374)	Kshitij Bansal
2012-07-07	Various fixes to documentation---typos, some incomplete documentation fixed, ...	Morgan Deters
2012-06-16	This is an attempt to fix the bug in the justification heuristic. The	Kshitij Bansal
2012-06-14	WIP	Kshitij Bansal
2012-05-09	rm something for a future merge that sneaked in	Kshitij Bansal
2012-05-09	Merge from decision branch (ITE support)	Kshitij Bansal
2012-04-23	Merge from decision branch -- partially working justification heuristic	Kshitij Bansal
2012-04-17	A dummy decision engine. Expected performance impact: none.	Kshitij Bansal