diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-03-15 20:32:13 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-03-15 20:32:13 +0000 |
| commit | 8fb7c711588cb070c1e4a1d076b47f9277bfc3fe (patch) | |
| tree | cedd18e59b24d8b6adf79bb6581b66b1af23d17a /README | |
| parent | 1bdb81e52c7865f89663f97f6bc1244f3e4f6b12 (diff) | |
Merge from cudd branch. This mostly just adds support for linking
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.
Diffstat (limited to 'README')
| -rw-r--r-- | README | 22 |
1 files changed, 19 insertions, 3 deletions
@@ -27,9 +27,25 @@ given are minimum versions; more recent versions should be compatible. GNU C and C++ (gcc and g++), reasonably recent versions GNU Make -GMP v4.2 -libantlr3c v3.2 -Optional: CLN v1.3 +GMP v4.2 (GNU Multi-Precision arithmetic library) +libantlr3c v3.2 (ANTLR parser generator) +Optional: CLN v1.3 (Class Library for Numbers) +Optional: CUDD v2.4.2 (Colorado University Decision Diagram package) + +CUDD, if desired, must be installed in a special manner. The default +distribution from vlsi.colorado.edu doesn't build shared objects, +and names things that make it difficult to compose software +dependences (e.g. a "libutil" is distributed). So we packaged our +own version of cudd that changes only its build process, making it +play nicely with libtool and packaging all the various cudd libraries +into just a few. This version must be used for cvc4, and is available +from the CVC4 apt repository by dropping the following line into your +/etc/apt/sources.list: + + deb http://goedel.cims.nyu.edu/cvc4-builds/debian unstable/ + +The debian source package "cudd", available from the same repository, +includes a diff of all changes made to cudd makefiles. *** Build dependencies |