4.0.0 org.sat4j org.sat4j.pom 2.0.4 org.sat4j.maxsat SAT4J maxsat org.sat4j org.sat4j.core 2.0.4 compile org.sat4j org.sat4j.pb 2.0.4 compile commons-cli commons-cli 1.0