BoolVar/Pb is a Java library for translating pseudo-Boolean constraints into CNF formulae. Pseudo-Boolean constraints are linear inequations with integer coefficients and 0/1 variables. They can be used for modelling a number of problems in the area of time-table design, planning, resource allocation, circuit diagnosis... The resulting CNF formula is satisfiable if and only if the input problem admits a solution. BoolVar/PB allows problems that are specified with pseudo-Boolean constraints to be solved using SAT solvers.
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Philipp, Tobias; Steinke, Peter: PBLib -- a library for encoding pseudo-Boolean constraints into CNF (2015)
- Bailleux, Olivier: Boolvar/PB v1.0, a Java library for translating pseudo-Boolean constraints into CNF formulae (2011) ioport