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.
</dependency>
<!-- Solver Binaries -->
- <dependency org="org.sosy_lab" name="javasmt-solver-z3" rev="z3-4.5.0-124-gc1480b4-sosy0" conf="runtime-z3->solver-z3" />
+ <dependency org="org.sosy_lab" name="javasmt-solver-z3" rev="z3-4.5.0-164-g8047f0d" conf="runtime-z3->solver-z3" />
<dependency org="org.sosy_lab" name="javasmt-solver-mathsat" rev="5.3.14" conf="runtime-mathsat->solver-mathsat" />
<dependency org="org.sosy_lab" name="javasmt-solver-optimathsat" rev="1.4.0.10" conf="runtime-optimathsat->solver-optimathsat" />
