Package: wnpp Severity: wishlist Owner: Ralf Treinen <trei...@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 -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20110511185258.3216.20073.report...@seneca.free.fr
