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

Age	Commit message (Expand)	Author
2010-06-04	Don't fear the files-changed list, almost all changes are in the	Morgan Deters
2010-05-28	Bug fixes for combining coefficients of rewritten nodes.	Tim King
2010-05-26	. '+Outstanding case split in theory arith'	Tim King
2010-05-26	Fix for bug 131. Added some additional debugging assertions for the arith rew...	Tim King
2010-05-25	Added Rational constructors that only take a numerator. The const char* Ratio...	Tim King
2010-05-21	Small fixes to TheoryArith. Added a hack to make Integers a subtype of Real....	Tim King
2010-05-20	Added the division symbol to the parser, and minimal support for it in Theory...	Tim King
2010-05-19	Significant revision to theory/arith. The new draft has a lot of small bug f...	Tim King
2010-04-28	Merging the arithmetic theory draft (lra-init) back into the main trunk. Thi...	Tim King