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-06-03	Fixes 2 issues with assignments. The first is constructing an initial assignm...	Tim King
2010-05-27	Preregistration has been turned on. Highly experimental eager splitting suppo...	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
2010-04-04	* Node::isAtomic() now looks at an "atomic" attribute of arguments	Morgan Deters
2010-02-26	* test/unit/context/context_black.h: Test CDList<>. In particular,	Morgan Deters
2010-02-25	* src/expr/node.h: add a copy constructor. Apparently GCC doesn't	Morgan Deters