npSolver

swMATH13580MaRDI QIDQ25494FDOQ25494

Author name not available (Why is that?)

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