-CVC4 prerelease version 1.7.
+CVC4 prerelease version 1.8.
============================
+## Building CVC4
+
+ ./contrib/get-antlr-3.4 # download and build ANTLR
+ ./configure.sh # use --prefix to specify a prefix (default: /usr/local)
+ # use --name=<PATH> for custom build directory
+ cd <build_dir> # default is ./build
+ make # use -jN for parallel build with N threads
+ make check # to run default set of tests
+ make install # to install into the prefix specified above
+
+All binaries are built into `<build_dir>/bin`, the CVC4 library is built into
+`<build_dir>/src`.
+
## Supported Operating Systems
CVC4 can be built on Linux and macOS. For Windows, CVC4 can be cross-compiled
- [Python >= 2.7](https://www.python.org)
- [GMP v4.2 (GNU Multi-Precision arithmetic library)](https://gmplib.org)
- [libantlr3c v3.2 or v3.4 (ANTLR parser generator C support library)](http://www.antlr3.org/)
+- [Java >= 1.6](https://www.java.com)
Some features, such as the theory of floating-point numbers, require
[optional dependencies](optional-dependencies) (see below).
### Installing libantlr3c: ANTLR parser generator C support library
-For libantlr3c, you can use the script contrib/get-antlr-3.4.
+For libantlr3c, you can use the script `contrib/get-antlr-3.4`.
This will download, patch, and install libantlr3c.
If you're on a 32-bit machine, or if you have difficulty building
### CxxTest Unit Testing Framework (Unit Tests)
[CxxTest](http://cxxtest.com) is required to optionally run CVC4's unit tests
-(included with the distribution). See [Testing](testing) below for more details.
+(included with the distribution).
+See [Testing CVC4](#Testing-CVC4) below for more details.
-## Building CVC4
-
- ./configure.sh # use --prefix to specify a prefix (default: /usr/local)
- # use --name=<PATH> for custom build directory
- cd <build_dir> # default is ./build
- make # use -jN for parallel build with N threads
- make check # to run default set of tests
- make install # to install into the prefix specified above
-
-All binaries are built into `<build_dir>/bin`, the CVC4 library is built into
-`<build_dir>/src`.
-
## Language bindings
CVC4 provides a complete and flexible C++ API (see `examples/api` for examples).