4.0.0 org.ow2.sat4j org.ow2.sat4j.pom 2.3.3 org.ow2.sat4j.sat SAT4J sat org.ow2.sat4j org.ow2.sat4j.core ${project.version} compile org.ow2.sat4j org.ow2.sat4j.pb ${project.version} compile org.ow2.sat4j org.ow2.sat4j.maxsat ${project.version} compile commons-beanutils commons-beanutils 1.6 commons-cli commons-cli 1.1 net.sf.jchart2d net.sf.jchart2d 3.2.2 system ${basedir}/../lib/jchart2d-3.2.2.jar