This folder contains the binary of CVC4 v1.4 and Z3 v4.4.1, downloaded from:

cvc4 (cvc4-1.4-x86_64-linux-opt): http://cvc4.cs.nyu.edu/builds/x86_64-linux-opt/
z3 (z3-4.4.1-x64-ubuntu-14.04.zip): https://github.com/Z3Prover/z3/releases

To install, just put them in your path.

