Bug#626410: ITP: minisat+ -- solver for pseudo-Boolean constraints
Package: wnpp
Severity: wishlist
Owner: Ralf Treinen <treinen@debian.org>
* Package name : minisat+
Version : 1.0-1
Upstream Author : Niklas Eén and Niklas Sörensson
* URL : http://minisat.se/MiniSat+.html
* License : MIT/X
Programming Lang: C++
Description : solver for pseudo-Boolean constraints
MinSat+ is a solver for Pseudo-Boolean Optimization (AKA 0-1
integer programming) that is based on the MiniSat SAT-solver. It
supports optimizing a linear objective function, subject to a set
of linear constraints. The variables of the objective function
and constraints are boolean, i.e. required to be 0 or
1. Pseudo-Boolean optimization can be used to solve many kinds of
combinatorial optimization problems. This version of Minisat+ is
compiled with bignum support for constraint coefficients.
-Ralf
Reply to: