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