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

Age	Commit message (Expand)	Author
2012-04-17	Merges branches/arithmetic/atom-database r2979 through 3247 into trunk. Belo...	Tim King
2012-03-02	This commit merges in the changes from branches/arithmetic/refactor0	Tim King
2011-09-28	variety of visibility fixes (should clean up some of the many warnings on Mac...	Morgan Deters
2011-09-02	Merge from my post-smtcomp branch. Includes:	Morgan Deters
2011-09-02	Partial merge of integers work; this is simple B&B and some pseudoboolean	Morgan Deters
2011-04-18	This commit merges the branch arithmetic/propagation-again into trunk.	Tim King
2011-02-17	Updates based on the group code review of arithmetic on 2011-02-15. The only...	Tim King
2010-11-15	This commit merges the arith-prop-opt branch into the main trunk. This was do...	Tim King