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

Age	Commit message (Expand)	Author
2012-06-07	cleaning up the expample for the future	Dejan Jovanović
2012-06-07	Added small test case for diseq propagation	Clark Barrett
2012-06-07	fixing some bugs in propagation of disequalities	Dejan Jovanović
2012-06-06	Fixing numerous issues with tests and "make dist":	Morgan Deters
2012-06-06	Changes to the combination mechanism, lots of details. Not done yet, there ar...	Dejan Jovanović
2012-05-17	Fixed bug 338:	Liana Hadarean
2012-05-08	Merging in bvprop branch, with proper bit-vector propagation.	Liana Hadarean
2012-04-18	add the missing BINARY variable in some test/regress makefiles	Kshitij Bansal
2012-04-11	merge from arrays-clark branch	Morgan Deters