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

Age	Commit message (Expand)	Author
2011-02-21	- Adds the statistic d_avgNumRowsNotContainingOnPivot.	Tim King
2011-02-19	Changes:	Tim King
2011-02-17	This commit is the promised clean up after removing row ejection.	Tim King
2011-02-17	Removed ActivityMonitor from arithmetic. This was only used for row ejection,...	Tim King
2011-02-17	Row ejection is now completely disabled. Another commit cleaning this one up ...	Tim King
2011-02-16	Overview of the changes:	Tim King
2011-02-13	3 heuristics were added to arithmetic. A heuristic for detecting an encoding ...	Tim King
2010-11-04	This commit adds the ejected and un-ejected statistics.	Tim King
2010-10-30	Adds a hueristic from Alberto's thesis. For a fixed window the row count is u...	Tim King
2010-10-29	Fix for a problem caused by using a != instead of == in generateConflictBelow...	Tim King
2010-10-29	Factors out the QF_LRA decision procedure from TheoryArith and puts this into...	Tim King