updating MathSAT5 to 5.6.5pre
@@ -157,7 +157,7 @@ SPDX-License-Identifier: Apache-2.0
<dependency org="edu.tum.cs" name="java-cup" rev="11b-20160615" conf="runtime-princess->runtime"/>
<!-- Solver Binaries -->
- <dependency org="org.sosy_lab" name="javasmt-solver-mathsat" rev="5.6.4" conf="runtime-mathsat->solver-mathsat" />
+ <dependency org="org.sosy_lab" name="javasmt-solver-mathsat" rev="5.6.5pre" conf="runtime-mathsat->solver-mathsat" />
<dependency org="org.sosy_lab" name="javasmt-solver-z3" rev="4.8.9" conf="runtime-z3->solver-z3" />
<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" />
