PBSolver

Author

Alexander Hoen

Gioni Mexi

Dominik Kamp

A solver for pseudoboolean problems in OPB or WBO format. It complies by default with the technical regulations of the PB competition. Therefore, the following plugins are implemented:

• a message handler to produce a valid general log with accepted line initials
• a event handler to signal achievements of best primal solutions (only for optimization)

Installation

See the Install file