replace Yices solver dependency with Java component dependency.
replace Yices solver dependency with Java component dependency.

This forces a cyclic build dependency.

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt