deb_control_files:
- control
- md5sums
deb_fields:
Architecture: amd64
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), libgmp10, libstdc++6 (>= 5), zlib1g
(>= 1:1.1.4)
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.
Homepage: http://minisat.se/MiniSat+.html
Installed-Size: '396'
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Package: minisat+
Priority: extra
Section: science
Version: 1.0-4
srcpkg_name: minisat+
srcpkg_version: 1.0-4