Pseudo boolean solvers using either resolution or cutting planes inference. Contains an all-in-one sat4j-pb.jar package for easy testing and the org.sat4j.pb.jar OSGi package that depends on SAT4J core OSGi package.
The pb2010submission archive contains the binary version of the solvers including a fix in the WBO to PBO discovered after the official release of SAT4J 2.2.0. It also contains the binary version of the Res//CP PB solver that runs both the resolution based and cutting planes based solvers in parallel.
Better management of restarts during the optimization process. Default PB solvers are now setup using the same default values as SAT solvers.
Drastically reduced reading time for large binary product of literals in non linear pseudo boolean constraints.