Bug#626410: marked as done (ITP: minisat+ -- solver for pseudo-Boolean constraints)
Your message dated Sat, 14 May 2011 12:02:27 +0000
with message-id <E1QLDYB-0003fK-G6@franck.debian.org>
and subject line Bug#626410: fixed in minisat+ 1.0-1
has caused the Debian Bug report #626410,
regarding ITP: minisat+ -- solver for pseudo-Boolean constraints
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
626410: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=626410
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
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
--- End Message ---
--- Begin Message ---
Source: minisat+
Source-Version: 1.0-1
We believe that the bug you reported is fixed in the latest version of
minisat+, which is due to be installed in the Debian FTP archive:
minisat+_1.0-1.debian.tar.gz
to main/m/minisat+/minisat+_1.0-1.debian.tar.gz
minisat+_1.0-1.dsc
to main/m/minisat+/minisat+_1.0-1.dsc
minisat+_1.0-1_amd64.deb
to main/m/minisat+/minisat+_1.0-1_amd64.deb
minisat+_1.0.orig.tar.gz
to main/m/minisat+/minisat+_1.0.orig.tar.gz
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 626410@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated minisat+ package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 12 May 2011 22:13:24 +0200
Source: minisat+
Binary: minisat+
Architecture: source amd64
Version: 1.0-1
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
minisat+ - solver for pseudo-Boolean constraints
Closes: 626410
Changes:
minisat+ (1.0-1) unstable; urgency=low
.
* Initial package (closes: Bug#626410)
Checksums-Sha1:
360fdb4cc3703d00f3f4db6916665b2250b4d195 1262 minisat+_1.0-1.dsc
64205f7144157469839994295b95ec9761466f85 79990 minisat+_1.0.orig.tar.gz
a3fd8039175c4a67ec023ff5126974394bae923e 2998 minisat+_1.0-1.debian.tar.gz
92d256d720ebc52131c170bc6d06e228a0016abf 180292 minisat+_1.0-1_amd64.deb
Checksums-Sha256:
c10720c6bf3fe57bb44d2e5bfa76edfd9867dc7e5b4b3b07ecf3361db8f315a9 1262 minisat+_1.0-1.dsc
f81e8dd76de9d2219e4b555f65354be2f8582f4575b5cc5b5bf34b71f1bd7f4b 79990 minisat+_1.0.orig.tar.gz
0be64c925e01870cc2a90bef5ea1c0bfd8ca15c30de0674a0c16d83cf53344a9 2998 minisat+_1.0-1.debian.tar.gz
9bf903adef6bc63e9bbe96c1059bdd93f1a8d8cbf5226cd1f01cf2860173089e 180292 minisat+_1.0-1_amd64.deb
Files:
1b5fe835e050f76ad08bb934fe8fb2ec 1262 science extra minisat+_1.0-1.dsc
a5910ef8bea269632eff74b54f07010d 79990 science extra minisat+_1.0.orig.tar.gz
700f037722fbbd9136b893e1cedc97b2 2998 science extra minisat+_1.0-1.debian.tar.gz
18a514df6679d15304e7c30431f32f93 180292 science extra minisat+_1.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk3MQmEACgkQtzWmSeC6BMF5owCeLImxQtzMoiGPAUW+2uq5iViP
X1QAn29Nb1kiqtM0Qapo25Jbu3UorgS5
=ifnM
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: