update CVC4.
This version of CVC4 is the latest version before they changed their Java-related code.
Their changes do not help us, we still get SegFaults.
Lets stay with the older version for now.
<dependency org="org.sosy_lab" name="javasmt-solver-mathsat" rev="5.6.3" conf="runtime-mathsat->solver-mathsat" />
<dependency org="org.sosy_lab" name="javasmt-solver-z3" rev="4.8.8" conf="runtime-z3->solver-z3" />
<dependency org="org.sosy_lab" name="javasmt-solver-optimathsat" rev="1.7.1" conf="runtime-optimathsat->solver-optimathsat" />
- <dependency org="org.sosy_lab" name="javasmt-solver-cvc4" rev="1.8-prerelease-2020-06-13-g3a1bce1b8" conf="runtime-cvc4->solver-cvc4" />
+ <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-15-g59c9ade5" conf="runtime-boolector->solver-boolector" />
<!-- Several JARs declare animal-sniffer-annotations.jar as dependency in their manifest although they do not really need it.
