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

Age	Commit message (Expand)	Author
2012-09-28	rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to mak...	Morgan Deters
2012-03-02	CDMap -> CDHashMap	Dejan Jovanović
2011-09-02	Merge from my post-smtcomp branch. Includes:	Morgan Deters
2011-05-02	minor updates to exp manager, fixed 32bit vs 64bit issues in transitive closu...	Andrew Reynolds
2011-04-28	more fixes/improvements to datatypes theory and transitive closure	Andrew Reynolds
2011-04-27	cleaned up some of the hacks in the datatypes theory solver, working on using...	Andrew Reynolds
2011-04-11	Transitive closure module is working	Clark Barrett
2011-04-08	Added util class	Clark Barrett