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

Age	Commit message (Expand)	Author
2010-02-26	TheoryUFWhite tests are added. There are also accompanying bug fixes. These c...	Tim King
2010-02-25	Updated uf to reflect APPLY structure after conversation with Chris. Also cor...	Tim King
2010-02-25	* src/expr/node.h: add a copy constructor. Apparently GCC doesn't	Morgan Deters
2010-02-24	Cleaned up and documented ecdata and theory_uf.	Tim King
2010-02-24	Committing small changes to attribute, and theory to avoid future merge probl...	Tim King
2010-02-23	cosmetic changes, comments, and renaming of Expr related stuff to Node (lefto...	Dejan Jovanović
2010-02-22	* configure.ac: Remove doc/ from search path for Makefile.ams	Morgan Deters
2010-02-17	Initial draft of TheoryUF. Should compile without problems. A decent amount o...	Tim King