4.0.0 org.ow2.sat4j org.ow2.sat4j.pom 2.3.6-SNAPSHOT The pb library contains algorithms for solving pseudo boolean optimization problems. org.ow2.sat4j.pb SAT4J pseudo leberre Daniel Le Berre leberre@cril.univ-artois.fr http://www.cril.univ-artois.fr/~leberre/ CRIL http://www.cril.univ-artois.fr/ architect developer parrain Anne Parrain parrain@cril.univ-artois.fr http://www.cril.univ-artois.fr/~parrain/ CRIL http://www.cril.univ-artois.fr/ developer Dieter von Holten org.ow2.sat4j org.ow2.sat4j.core ${project.version} org.ow2.sat4j org.ow2.sat4j.core ${project.version} test-jar test junit junit 4.4 test