NaPS (Nagoya Psudo-Boolean Solver)

NaPS is a solver for pseudo-Boolean constraints: linear constraints with Boolean variable.

Download

Contributers

Publications


This site is served by root@trs.cm.is.nagoya-u.ac.jp, last modified: Jul.08.2016 .