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

Age	Commit message (Expand)	Author
2011-02-16	Overview of the changes:	Tim King
2011-02-14	Reverses the order of the d_possiblyInconsistent queue. (It is that old termi...	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	Factors out the QF_LRA decision procedure from TheoryArith and puts this into...	Tim King