4.0.0 org.opt4j opt4j-satdecoding 3.1 Opt4J The SAT decoding module for Opt4J http://www.opt4j.org GNU Lesser General Public License http://www.gnu.org/licenses/lgpl.txt repo lukasiewycz Martin Lukasiewycz reimann Felix Reimann glass Michael Glass http://hg.code.sf.net/p/opt4j/hgroot http://hg.code.sf.net/p/opt4j/hgroot junit junit 4.+ test org.opt4j opt4j-core 3.1 compile org.ow2.sat4j org.ow2.sat4j.pb 2.3.3 compile org.ow2.sat4j org.ow2.sat4j.core 2.3.3 compile