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

Age	Commit message (Collapse)	Author
2011-05-02	fix for configure	Morgan Deters

2011-03-15	Merge from cudd branch. This mostly just adds support for linking	Morgan Deters
	against cudd libraries, the propositional_query class (in util/), which uses cudd if it's available (and otherwise answers UNKNOWN for all queries), and the arith theory support for it (currently disabled per Tim's request, so he can clean it up). Other changes include: * contrib/debug-keys - script to print all used keys under Debug(), Trace() * test/regress/run_regression - minor fix (don't export a variable) * configure.ac - replace a comment removed by dejan's google perf commit * some minor copyright/documentation updates, and minor changes to source text to make 'clang --analyze' happy.
2010-11-18	small changes to documentation; also, '\''make doc'\'' doesn't build dot ↵	Morgan Deters
	graphs (but nightly build system will produce them)
2010-10-29	portability updates to build system	Morgan Deters

2010-10-27	Changing dependency info in README	Christopher L. Conway

2010-10-26	Adding dependency info to README	Christopher L. Conway

2009-11-24	Partial parser for booleans	Christopher L. Conway

2009-11-03	commit of project structure including autotools support	Morgan Deters