PBLib -- a library for encoding pseudo-Boolean constraints into CNF. PBLib is an easy-to-use and efficient library, written in C++ for translating pseudo-Boolean (PB) constraints into CNF. We have implemented fifteen different encodings of PB constraints. Our aim is to use efficient encodings, in terms of formula size and whether unit propagation maintains generalized arc consistency. Moreover, PBLib normalizes PB constraints and automatically uses a suitable encoder for the translation. We also support incremental strengthening for optimization problems, where the tighter bound is realized with few additional clauses, as well as conditions for PB constraints.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element