Newer
Older
Manifest-Version: 1.0
Class-Path: opencloud.jar JavaPlot.jar derbynet.jar
commons-math3-3.6.1.jar jsoup-1.8.1.jar commons-codec-1.10.jar gs-core-2.0.jar
gs-ui-swing-2.0.jar gs-algo-2.0.jar commons-io-2.5.jar
batik-codec.jar batik-constants.jar batik-xml.jar batik-ext.jar
batik-extensions.jar
batik-util.jar batik-svggen.jar batik-dom.jar
batik-awt-util.jar xml-apis.jar
jautomata-core.jar com.microsoft.z3.jar
jgrapht-core-1.3.0.jar jgrapht-ext-1.3.0.jar
jgrapht-io-1.3.0.jar jgraphx-3.4.1.3.jar
json-java.jar jfreechart-1.6.0.jar
Main-Class: Main