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

Age	Commit message (Expand)	Author
2011-03-17	- Removes arith_constants.h	Tim King
2011-02-16	Overview of the changes:	Tim King
2011-01-05	Commit for the theory engine and rewriter changes. Changes are substantial an...	Dejan Jovanović
2010-10-28	The Row implementation has no been replaced by RowVector and ReducedRowVector...	Tim King
2010-10-13	Removed vector<Monomial> monos from Polynomial. Now using expr::NodeSelfIter...	Tim King
2010-10-12	IDENTITY has been removed.	Tim King
2010-10-03	file header documentation regenerated with contributors names; no code modifi...	Morgan Deters
2010-09-21	part of review (bug #197): coding conventions, file-level documentation, re-r...	Morgan Deters
2010-09-16	Bug fix to CVC4::theory::arith::VarList as well as some superficial changes. ...	Tim King
2010-09-13	* New normal form for arithmetic is in place.	Tim King