-CVC4 release version 1.4.
+CVC4 release version 1.5.
*** Quick-start instructions
libantlr3c (or difficulty getting CVC4 to link against it later), you
may need to remove the --enable-64bit part in the script. (If you're
curious, the manual instructions are at
-http://cvc4.cs.nyu.edu/wiki/Developer%27s_Guide#ANTLR3 .)
+http://cvc4.cs.stanford.edu/wiki/Developer%27s_Guide#ANTLR3 .)
*** Building CVC4
could support other languages as well. However, using CVC4 from other
languages is not supported, nor expected to work, at this time. If
you're interested in helping to develop, maintain, and test a language
-binding, please contact us via the users' mailing list at
-cvc-users@cs.nyu.edu.
+binding, please contact one of the project leaders.
*** Building CVC4 from a repository checkout
CVC4 from from a repository checkout rather than from a prepared
source tarball.
- Automake v1.11
- Autoconf v2.61
- Libtool v2.2
- ANTLR3 v3.2 or v3.4
+ Automake v1.11 or later
+ Autoconf v2.61 or later
+ Libtool v2.2 or later
+ ANTLR3 v3.2 or v3.4
First, use "./autogen.sh" to create the configure script. Then
proceed as normal for any distribution tarball. The parsers are
1\.4 libcvc4:3:0:0 libcvc4parser:3:0:0 libcvc4compat:3:0:0 libcvc4bindings:3:0:0
1\.4\.1-prerelease libcvc4:3:0:0 libcvc4parser:3:0:0 libcvc4compat:3:0:0 libcvc4bindings:3:0:0
1\.5-prerelease libcvc4:3:0:0 libcvc4parser:3:0:0 libcvc4compat:3:0:0 libcvc4bindings:3:0:0
+1\.5 libcvc4:4:0:0 libcvc4parser:4:0:0 libcvc4compat:4:0:0 libcvc4bindings:4:0:0