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