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
- Source stable
- Version 1.02b (won at PB'16 competition in several categories: OPT-BIGINT-LIN, OPT-SMALLINT-LIN, PARTIAL-SMALLINT-LIN, and SOFT-SMALLINT-LIN)
- Version 1.01 (bug fixed version of 1.00)
- Version 1.00 (submitted to PB evaluation 2015)
Contributers
- Masahiko Sakai (Nagoya Univ.)
- Hidetomo Nabeshima (Univ. of Yamanashi)
- Naoki Nagatsuka (was in Nagoya Univ.)
- Harald Zankl (was in Univ. of Innsbruck)
Publications
- Masahiko Sakai and Hidetomo Nabeshima,
Construction of an ROBDD for a PB-constraint in band form and related techniques for PB-solvers,
IEICE Transaction on Information and Systems,
Vol. E98-D, No. 6,
pp. 1121-1127,
Jun 2015.
pdf file
Copyright(C) 2015 IEICE, on line transaction