The pb library contains algorithms for solving pseudo boolean optimization problems.
'org.sat4j:org.sat4j.pb:2.2.3'
<dependency>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.pb</artifactId>
<version>2.2.3</version>
</dependency>
<dependency org="org.sat4j" name="org.sat4j.pb" rev="2.2.3"/>
"org.sat4j", "org.sat4j.pb", "2.2.3"