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	Public interface review items:	Morgan Deters
2012-09-19	General subscriber infrastructure for NodeManager, as discussed in the	Morgan Deters
2012-08-31	merge from fmf-devel branch. more updates to models: now with collectModelIn...	Andrew Reynolds
2012-08-24	* disallow internal uses of mkVar() (you have to mkSkolem())	Morgan Deters
2012-08-09	minor isConst()-related fixes to printing; also add some debugging stuff to s...	Morgan Deters
2012-08-03	fix uses of getMetaKind() from outside the expr package. (they now use isCon...	Morgan Deters
2012-06-11	fix issue referred to in bug 352 regarding infinite loop between Substitution...	Morgan Deters
2012-06-09	Cleanup and comments for the dag-ifier. Also some unit testing for it.	Morgan Deters