updating the bindings for Yices2.
This was somehow missed before the last release.
A user might need to explicitly override the version number for using Yices2.
This will be fixed with the next release.
@@ -163,7 +163,7 @@ SPDX-License-Identifier: Apache-2.0
<dependency org="org.sosy_lab" name="javasmt-solver-boolector" rev="3.2.2-g1a89c229" conf="runtime-boolector->solver-boolector" />
<!-- additional JavaSMT components with Solver Binaries -->
- <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-yices2" rev="3.12.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.
