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

Age	Commit message (Expand)	Author
2011-09-15	additional stuff for sharing,	Dejan Jovanović
2011-09-02	Merge from my post-smtcomp branch. Includes:	Morgan Deters
2011-06-30	only use theory registration if (1) a theory requests it, or (2) if there's m...	Morgan Deters
2011-05-05	Merge from nonclausal-simplification-v2 branch:	Morgan Deters
2011-04-25	Monday tasks:	Morgan Deters
2011-04-25	Weekend work. The main points:	Morgan Deters
2011-02-28	Review of mktheorytraits, mkrewriter, and recent changes to other mk* scripts...	Morgan Deters
2011-01-05	Commit for the theory engine and rewriter changes. Changes are substantial an...	Dejan Jovanović