minisat+_1.0-1_amd64.changes is NEW

Debian FTP Masters ftpmaster at ftp-master.debian.org
Thu May 12 20:49:38 UTC 2011


(new) minisat+_1.0-1.debian.tar.gz extra science
(new) minisat+_1.0-1.dsc extra science
(new) minisat+_1.0-1_amd64.deb extra science
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.
(new) minisat+_1.0.orig.tar.gz extra science
Changes: minisat+ (1.0-1) unstable; urgency=low
 .
  * Initial package (closes: Bug#626410)


Override entries for your package:

Announcing to debian-devel-changes at lists.debian.org
Closing bugs: 626410 


Your package contains new components which requires manual editing of
the override file.  It is ok otherwise, so please be patient.  New
packages are usually added to the override file about once a week.

You may have gotten the distribution wrong.  You'll get warnings above
if files already exist in other distributions.



More information about the debian-science-maintainers mailing list