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

Age	Commit message (Expand)	Author
2011-09-02	Partial merge of integers work; this is simple B&B and some pseudoboolean	Morgan Deters
2011-05-31	This commit contains the code for allowing arbitrary equalities in the theory...	Tim King
2011-03-26	fix typo	Morgan Deters
2011-03-25	This is a merge from the "theoryfixes+cdattrhash" branch. The changes	Morgan Deters
2011-03-15	Merge from cudd branch. This mostly just adds support for linking	Morgan Deters
2010-10-29	Adds a very small test that triggers a bug. The bug is from the commit for -r...	Tim King
2010-10-10	additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp...	Morgan Deters
2010-10-02	branches/arith-indexed-variables merged into the main trunk.	Tim King
2010-09-16	Bug fix to CVC4::theory::arith::VarList as well as some superficial changes. ...	Tim King
2010-09-14	* added test/regress/regress0/arith for easy arithmetic regress tests.	Tim King