remove optional dependency towards Z3 from Maven-config.
The Z3 dependency is outdated on Maven.
<target name="gen-pom" depends="load-ivy, determine-version" description="Generate a POM file from Ivy metadata">
<property name="ivy.pom.version" value="${version}"/>
- <ivy:makepom ivyfile="${ivy.dep.file}" conf="core,runtime-z3,runtime-smtinterpol" pomfile="pom.xml" templatefile="pom_template.xml">
+ <ivy:makepom ivyfile="${ivy.dep.file}" conf="core,runtime-smtinterpol" pomfile="pom.xml" templatefile="pom_template.xml">
<mapping conf="core,runtime-smtinterpol" scope="compile"/>
</ivy:makepom>
