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

Age	Commit message (Expand)	Author
2012-05-13	fixing build warnings	Dejan Jovanović
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-05-03	Some cleanup starting off from trying to understand the sharing code. Changes...	Dejan Jovanović
2012-04-27	Fixed warning in decision_engine.h, minor tweak to caregraph function in	Clark Barrett
2012-04-23	Merge from decision branch -- partially working justification heuristic	Kshitij Bansal
2012-04-19	In the constructor of DecisionEngine, there were 2 pointers that were assumed...	Tim King
2012-04-17	A dummy decision engine. Expected performance impact: none.	Kshitij Bansal