4.0.0 org.sat4j org.sat4j.pom 2.0.2 The pb library contains algorithms for solving pseudo boolean optimization problems. org.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.sat4j org.sat4j.core 2.0.2