BoolVar/PB

swMATH13579MaRDI QIDQ25493FDOQ25493

Author name not available (Why is that?)

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