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

Age	Commit message (Expand)	Author
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-03-03	- Creates a queue for lemmas discovered during the simplex procedure. Lemmas ...	Tim King
2011-02-18	Changes:	Tim King
2011-02-17	Removed ActivityMonitor from arithmetic. This was only used for row ejection,...	Tim King
2011-02-17	Updates based on the group code review of arithmetic on 2011-02-15. The only...	Tim King
2011-02-13	3 heuristics were added to arithmetic. A heuristic for detecting an encoding ...	Tim King
2010-11-09	Lemmas on demand work, push-pop, some cleanup.	Dejan Jovanović
2010-10-23	Removed slack.h, and arith_activity.h. Replaced IsBasicManager with the more ...	Tim King
2010-10-22	Code cleanup for TheoryArith.	Tim King
2010-10-04	Fix to bug 211. ArithVar is now typedefed to uint32_t.	Tim King
2010-10-02	branches/arith-indexed-variables merged into the main trunk.	Tim King
2010-09-21	part of review (bug #197): coding conventions, file-level documentation, re-r...	Morgan Deters
2010-09-13	* New normal form for arithmetic is in place.	Tim King
2010-07-02	re-generated comment headers of source files	Morgan Deters
2010-06-04	Don't fear the files-changed list, almost all changes are in the	Morgan Deters
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