Master is the development branch now. Trunk will be kept for the DREAMS project.

...fortiss.af3.exploration.alg/master/lib/javax.inject-1.jar

...ortiss.af3.exploration.alg/master/lib/jgraph-5.13.0.0.jar

...tiss.af3.exploration.alg/master/lib/jgrapht-0.9.0-src.jar

...iss.af3.exploration.alg/master/lib/jgrapht-core-0.9.0.jar

...tiss.af3.exploration.alg/master/lib/jgrapht-ext-0.9.0.jar

...ortiss.af3.exploration.alg/master/lib/jgraphx-2.0.0.1.jar

org.fortiss.af3.exploration.alg/master/lib/licenses/COPYING

...fortiss.af3.exploration.alg/master/lib/licenses/guice.txt

...3.exploration.alg/master/lib/licenses/mersennetwister.txt

...tiss.af3.exploration.alg/master/lib/licenses/prettify.txt

...fortiss.af3.exploration.alg/master/lib/licenses/sat4j.txt

...rtiss.af3.exploration.alg/master/lib/opt4j-core-3.1.3.jar

....af3.exploration.alg/master/lib/opt4j-operators-3.1.3.jar

...ion.alg/master/lib/opt4j-optimizers-SNAPSHOT-20161006.jar

...master/lib/opt4j-optimizers-SNAPSHOT-20161110-sources.jar

...ion.alg/master/lib/opt4j-optimizers-SNAPSHOT-20161110.jar

...f3.exploration.alg/master/lib/opt4j-satdecoding-3.1.3.jar

...iss.af3.exploration.alg/master/lib/opt4j-source-3.1.3.jar

...iss.af3.exploration.alg/master/lib/opt4j-viewer-3.1.3.jar

...3.exploration.alg/master/lib/org.ow2.sat4j.core-2.3.3.jar