BoolVar/PB V1.0, a Java Library for Translating Pseudo-Boolean Constraints Into CNF Formulae

Date Added: Mar 2011
Format: PDF

BoolVar/pb v1.0 is an open source java library dedicated to the translation of pseudo-Boolean constraints into cnf formulae. Input constraints can be categorized with tags. Several encoding schemes are implemented in a way that each input constraint can be translated using one or several encoders, according to the related tags. The size of the formula resulting from the translation of each input constraint is a critical parameter for the choice of the encodings. The interface Encoder will include a method providing this information.