update Z3 to version 4.8.17.
The bug with optimization (see is already fixed with Z3 in version 4.8.15.
We directly update to the most recent release of Z3 and skip some intermediate releases.
@@ -158,7 +158,7 @@ SPDX-License-Identifier: Apache-2.0
<!-- Solver Binaries -->
<dependency org="org.sosy_lab" name="javasmt-solver-mathsat" rev="5.6.6" conf="runtime-mathsat->solver-mathsat" />
- <dependency org="org.sosy_lab" name="javasmt-solver-z3" rev="4.8.12" conf="runtime-z3->solver-z3; contrib->sources,javadoc" />
+ <dependency org="org.sosy_lab" name="javasmt-solver-z3" rev="4.8.17" conf="runtime-z3->solver-z3; contrib->sources,javadoc" />
<dependency org="org.sosy_lab" name="javasmt-solver-optimathsat" rev="1.7.1-sosy0" conf="runtime-optimathsat->solver-optimathsat" />
<dependency org="org.sosy_lab" name="javasmt-solver-cvc4" rev="1.8-prerelease-2020-06-24-g7825d8f28" conf="runtime-cvc4->solver-cvc4" />
<dependency org="org.sosy_lab" name="javasmt-solver-boolector" rev="3.2.1-30-g95859db8" conf="runtime-boolector->solver-boolector" />
