update/fix Yices bindings.
For releases of JavaSMT since 3.10.0, the Yices2 component was not usable,
because we changed the method signatur of the loading process in
This commit fixes this problem, such that upcoming releases work again.
@@ -164,7 +164,7 @@ SPDX-License-Identifier: Apache-2.0
<dependency org="org.sosy_lab" name="javasmt-solver-boolector" rev="3.2.1-30-g95859db8" conf="runtime-boolector->solver-boolector" />
<!-- additional JavaSMT components with Solver Binaries -->
- <dependency org="org.sosy_lab" name="javasmt-yices2" rev="3.6.0-27-g42532e0b" conf="runtime-yices2->runtime; contrib->sources" />
+ <dependency org="org.sosy_lab" name="javasmt-yices2" rev="3.10.0" conf="runtime-yices2->runtime; contrib->sources" />
<!-- <dependency org="org.sosy_lab" name="javasmt-solver-yices2" rev="2.6.2-89-g0f77dc4b" conf="runtime-yices2->solver-yices2" /> -->
<!-- Several JARs declare animal-sniffer-annotations.jar as dependency in their manifest although they do not really need it.
