Opt4J: Sync included libs.

org.fortiss.af3.exploration.alg/.classpath

org.fortiss.af3.exploration.alg/META-INF/MANIFEST.MF

org.fortiss.af3.exploration.alg/build.properties

...exploration.alg/lib/opt4j-operators-SNAPSHOT-20180714.jar

...xploration.alg/lib/opt4j-optimizers-SNAPSHOT-20161006.jar

...on.alg/lib/opt4j-optimizers-SNAPSHOT-20161110-sources.jar

...xploration.alg/lib/opt4j-optimizers-SNAPSHOT-20161110.jar

...rtiss.af3.exploration.alg/lib/opt4j-satdecoding-3.1.3.jar

org.fortiss.af3.exploration.alg/lib/opt4j-source-3.1.3.jar

org.fortiss.af3.exploration.alg/lib/opt4j-viewer-3.1.3.jar

...xploration.alg/lib/org.opt4j.core_2.11.0.201809150918.jar

...ation.alg/lib/org.opt4j.operators_2.11.0.201809150918.jar

...tion.alg/lib/org.opt4j.optimizers_2.11.0.201809150918.jar