This distribution of CVC4 1.5-prerelease was assembled from

    http://github.com/CVC4/CVC4

The Linux and Mac OS X binaries are based on the git version 363e4c37
(6 February 2015). The Windows binary is based on the git version 75995dfb
(2 May 2015). All binaries were compiled with proof output enabled, and all
were "strip"ped.

The Linux executables were built on a 32-bit and a 64-bit Ubuntu 10.04 LTS
installation running on VirtualBox VM. The options

    --enable-proofs --enable-static-binary

were passed to the "configure" script. The "cvc4" executables were extracted
from

    builds/<platform>/production-proof/src/main/cvc4

The Mac executables were built on a 64-bit OS X 10.7 (Lion) server called
"macbroy6". The options

    --enable-proofs CPPFLAGS=-I/opt/local/include LDFLAGS=-L/opt/local/lib

were passed to "configure". The "cvc4" executables and dynamic libraries were
extracted from

    builds/<platform>/production-proof/src/main/cvc4
    builds/<platform>/production-proof/src/.libs/libcvc4.dylib
    builds/<platform>/production-proof/src/parser/.libs/libcvc4parser.dylib
    /opt/local/lib/libgmp.10.dylib

The "cvc4" binary was renamed "cvc4-solver". A "cvc4" wrapper script is
provided to set up "DYLD_LIBRARY_PATH" correctly. Symbolic links were created
for "libcvc4.3.dylib" and "libcvc4parser.3.dylib":

    ln -s libcvc4.dylib libcvc4.3.dylib
    ln -s libcvc4parser.dylib libcvc4parser.3.dylib

Enjoy!


        Jasmin Blanchette
        Mathias Fleury
        9 May 2015
