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

Age	Commit message (Expand)	Author
2013-04-23	Theory "alternates" support	Morgan Deters
2013-03-19	Remove PropositionalQuery class and all CUDD-related build stuff (and referen...	Morgan Deters
2013-01-24	Add win32 support (merge from mdeters/win32, with some cleanup).	Morgan Deters
2012-10-03	updates to contrib scripts to match docs	Morgan Deters
2012-10-03	better documentation, allow examples to be installed, etc	Morgan Deters
2012-09-26	Fix a handful of things for Mac, and Java bindings.	Morgan Deters
2012-06-18	final sources (?) for competition	Morgan Deters
2012-06-13	Don't use the "inlined" feature of ANTLR 3.2, which causes a buffer overflow ...	Morgan Deters
2012-02-12	separate new-theory components into a "theoryskel" directory so that new file...	Morgan Deters
2012-02-10	script to ease creating a new theory from scratch (will go along with new ref...	Morgan Deters
2011-05-05	luby sequence generator; can use to plot MiniSat's restart sequence	Morgan Deters
2010-10-27	"make dist" fixes; a distribution tarball can now build and pass tests. "make...	Morgan Deters
2009-11-09	minor fixes, added contrib directory	Morgan Deters