Source: minisat+
Section: science
Priority: extra
Maintainer: Debian Science Maintainers
Uploaders: Ralf Treinen
Build-Depends: debhelper (>= 8), libgmp-dev, zlib1g-dev
Standards-Version: 3.9.2
Homepage: http://minisat.se/MiniSat+.html
Vcs-Git: git://git.debian.org/git/debian-science/packages/minisat+.git
Vcs-Browser: http://git.debian.org/?p=debian-science/packages/minisat+.git
Package: minisat+
Architecture: any
Depends: ${misc:Depends}, ${shlibs:Depends}
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.