BoolVar/PB swMATH ID: 13579 Software Authors: Bailleux, O. Description: 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. Homepage: http://boolvar.sourceforge.net/# Related Software: MiniSat; npSolver; PBLib; NiVER Cited in: 1 Publication Cited by 2 Authors 1 Philipp, Tobias 1 Steinke, Peter Cited in 0 Serials Cited in 1 Field 1 Computer science (68-XX) Citations by Year