ivy.xml

<ivy-module version="2.0">
    <info organisation="org.apache" module="canopy"/>
    <dependencies>
        <dependency org="com.google.guava" name="guava" rev="20.0"/>
        <dependency org="org.jfree" name="jfreechart" rev="1.0.19"/>
        <dependency org="org.apache.commons" name="commons-math3" rev="3.6.1"/>
        <dependency org="org.tinyjee.jgraphx" name="jgraphx" rev="3.4.1.3"/>
		<dependency org="org.antlr" name="antlr4" rev="4.5.3"/>
		<dependency org="net.sf.jung" name="jung-algorithms" rev="2.0.1"/>
		<dependency org="net.sf.jung" name="jung-api" rev="2.0.1"/>
		<dependency org="net.sf.jung" name="jung-graph-impl" rev="2.0.1"/>
		<dependency org="org.apache.commons" name="commons-jcs-core" rev="2.0-beta-1"/>
		<dependency org="javax.inject" name="javax.inject" rev="1"/>
		<dependency org="com.google.inject" name="guice" rev="4.1.0"/>
		<dependency org="commons-io" name="commons-io" rev="2.5"/>
        <!-- Maybe we need to include z3 here -->
    </dependencies>
</ivy-module>