split ivy package for Z3 into Linux, Windows, OS configuration.
split ivy package for Z3 into Linux, Windows, OS configuration.

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