npSolver

MaRDI QIDQ25494swMATHFDO

Official website http://tools.computational-logic.org/content/npSolver/npSolver.pdf

Cited in

(2)

• BoolVar/PB
• PBLib -- a library for encoding pseudo-Boolean constraints into CNF

This page was built for software: npSolver