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

Age	Commit message (Expand)	Author
2012-03-01	Partial merge from kind-backend branch, including Minisat and CNF work to	Morgan Deters
2011-11-16	Addressed many of the concerns raised in the public interface review of CVC4 ...	Morgan Deters
2011-11-15	Bindings work (ocaml bindings are now sort of working); also minor cleanup	Morgan Deters
2011-11-15	fixes for python language binding, added python example	Morgan Deters
2011-10-05	remove some debugging code that slowed down last night's regressions	Morgan Deters
2011-10-04	cvc3 compatibility layer; and another libantlr3c v3.4 incompatibility fix	Morgan Deters
2011-10-03	user push/pop support in minisat and simplification; also bindings work	Morgan Deters
2011-09-23	interface cleanup, java bindings work	Morgan Deters
2011-09-20	Merge from "swig" branch: language binding for Java is compiling and linking....	Morgan Deters