Update Z3 to a version that should fix Z3Prover/z3#864 and Z3Prover/z3#863
Update Z3 to a version that should fix Z3Prover/z3#864 and Z3Prover/z3#863

This version of Z3 was compiled on Ubuntu 14.04.

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt