replace Yices solver dependency with Java component dependency.

This forces a cyclic build dependency.

Author: kfriedberger

lib/ivy.xml

@@ -141,7 +141,10 @@
         <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-2019-11-30-gae93e65" conf="runtime-cvc4->solver-cvc4" />
         <dependency org="org.sosy_lab" name="javasmt-solver-boolector" rev="3.2.1-2.3-g3249ae0f" conf="runtime-boolector->solver-boolector" />
-        <dependency org="org.sosy_lab" name="javasmt-solver-yices2" rev="2.6.2-83-g084019ce" conf="runtime-yices2->solver-yices2" />
+
+        <!-- additional JavaSMT components with Solver Binaries -->
+        <dependency org="org.sosy_lab" name="javasmt-yices2" rev="3.3.0-136-g23c52ef-202-gc87b79a6" conf="runtime-yices2->javasmt-yices2" />
+        <!-- <dependency org="org.sosy_lab" name="javasmt-solver-yices2" rev="2.6.2-83-g084019ce" conf="runtime-yices2->solver-yices2" /> -->
 
         <!-- Several JARs declare animal-sniffer-annotations.jar as dependency in their manifest although they do not really need it.
              As long as this is the case we need to provide the JAR, otherwise javac complains. -->