[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#639363: marked as done (ITP: depqbf -- solver for quantified boolean formulae)

Your message dated Tue, 06 Sep 2011 12:47:08 +0000
with message-id <E1R0v3U-0004BH-2w@franck.debian.org>
and subject line Bug#639363: fixed in depqbf 0.1-1
has caused the Debian Bug report #639363,
regarding ITP: depqbf -- solver for quantified boolean formulae
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.)


-- 
639363: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=639363
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Thomas Krennwallner <tkren@kr.tuwien.ac.at>


* Package name    : depqbf
  Version         : 0.1
  Upstream Author : Florian Lonsing <florian.lonsing@jku.at>
* URL             : http://fmv.jku.at/depqbf/
* License         : GPL
  Programming Lang: C
  Description     : solver for quantified boolean formulae

DepQBF is a search-based solver for quantified boolean formulae (QBF)
in prenex conjunctive normal form. It is based on the DPLL algorithm
for QBF with conflict-driven clause and solution-driven cube
learning. By analyzing the structure of a formula, DepQBF tries to
identify independent variables. In addition to other benefits, this
often increases freedom for decision making.

--- End Message ---
--- Begin Message --- 
Source: depqbf
Source-Version: 0.1-1

We believe that the bug you reported is fixed in the latest version of
depqbf, which is due to be installed in the Debian FTP archive:

depqbf_0.1-1.debian.tar.gz
  to main/d/depqbf/depqbf_0.1-1.debian.tar.gz
depqbf_0.1-1.dsc
  to main/d/depqbf/depqbf_0.1-1.dsc
depqbf_0.1-1_i386.deb
  to main/d/depqbf/depqbf_0.1-1_i386.deb
depqbf_0.1.orig.tar.gz
  to main/d/depqbf/depqbf_0.1.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 639363@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Thomas Krennwallner <tkren@kr.tuwien.ac.at> (supplier of updated depqbf 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: Fri, 26 Aug 2011 10:56:08 +0200
Source: depqbf
Binary: depqbf
Architecture: source i386
Version: 0.1-1
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description: 
 depqbf     - solver for quantified boolean formulae
Closes: 639363
Changes: 
 depqbf (0.1-1) unstable; urgency=low
 .
   * Initial release (Closes: #639363)
Checksums-Sha1: 
 1e0bfb9a62eeb89e467c500c621a92923674bfe2 1255 depqbf_0.1-1.dsc
 980fd39d101bf7080d2e0b89ea972d39c9cdf56b 79401 depqbf_0.1.orig.tar.gz
 95757cd936ff9e616dd5b95d512666e42258f569 3231 depqbf_0.1-1.debian.tar.gz
 94424d22c8e005990032964cfca4242ec69833c4 39576 depqbf_0.1-1_i386.deb
Checksums-Sha256: 
 470ecdcd61e43c5fce15b760349174b973993e517872185930ac6de9bacb2ade 1255 depqbf_0.1-1.dsc
 650347bc23367a3976d169ff21aa16406fd184fcfd2a417139a1930056a9666e 79401 depqbf_0.1.orig.tar.gz
 a3fbb70f5ddf69a00e03c376d733f2785e1200365437211fc92231d8ca42dd59 3231 depqbf_0.1-1.debian.tar.gz
 0b389efd549d2d2c1c120a131975a3ca1985a6aeaa3fcb24329b5a7150e265fa 39576 depqbf_0.1-1_i386.deb
Files: 
 b447c76be1b9d04cb7d5c7611570ed93 1255 interpreters extra depqbf_0.1-1.dsc
 c88199216f50052ab4dcb8a4ce0a9dca 79401 interpreters extra depqbf_0.1.orig.tar.gz
 aca3ade9cc6621ad22072ad4ba87203b 3231 interpreters extra depqbf_0.1-1.debian.tar.gz
 cc9b6d032053b63fc31b8c7662151299 39576 interpreters extra depqbf_0.1-1_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAk5lWKcACgkQvx6dH3bVKsRqTgCgt+n7bJhPgdcj7XG08zY5Fylv
GNoAoLaQn1ffeShkSSIOtjbcSZAWdNBx
=AtXA
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: