NaPS (Nagoya Psudo-Boolean Solver)

NaPS is a solver for pseudo-Boolean constraints: linear constraints with Boolean variable.
NaPS has a maxsat mode (by option: -max-sat )

Download

Contributers

Publications