BoolVar/PB

MaRDI QIDQ25493swMATHFDO

Official website http://boolvar.sourceforge.net/#

Cited in

(2)

• npSolver
• PBLib -- a library for encoding pseudo-Boolean constraints into CNF

This page was built for software: BoolVar/PB