2000 character limit reached
BoolVar/PB v1.0, a java library for translating pseudo-Boolean constraints into CNF formulae
Published 21 Mar 2011 in cs.AI | (1103.3954v1)
Abstract: BoolVar/PB 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 library can be easily extended by adding new encoders and / or new output formats.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.