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

Age	Commit message (Expand)	Author
2012-08-29	* Numerous documentation fixes (fix doxygen warnings, add missing documentati...	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-15	Bug fix in justification heuristic. Had to do with how	Kshitij Bansal
2012-06-14	bug fixes in justification heuristic	Kshitij Bansal
2012-06-08	Merge from decision branch (till r3663)	Kshitij Bansal
2012-05-09	Merge from decision branch (ITE support)	Kshitij Bansal
2012-05-03	Some cleanup starting off from trying to understand the sharing code. Changes...	Dejan Jovanović
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