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

Bug#605877: marked as done (ITP: clasp -- A conflict-driven nogood learning answer set solver)

Your message dated Thu, 17 Feb 2011 21:17:31 +0000
with message-id <E1PqBEB-0000Dk-LK@franck.debian.org>
and subject line Bug#605877: fixed in clasp 1.3.6-3
has caused the Debian Bug report #605877,
regarding ITP: clasp -- A conflict-driven nogood learning answer set solver
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.)


-- 
605877: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=605877
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    : clasp
  Version         : 1.3.6
  Upstream Author : Benjamin Kaufmann <kaufmann@cs.uni-potsdam.de>
* URL             : http://www.cs.uni-potsdam.de/clasp/
* License         : GPL
  Programming Lang: C++
  Description     : A conflict-driven nogood learning answer set solver

clasp is an answer set solver for (extended) normal logic programs. It
combines the high-level modeling capacities of answer set programming
(ASP) with state-of-the-art techniques from the area of Boolean
constraint solving. The primary clasp algorithm relies on
conflict-driven nogood learning, a technique that proved very
successful for satisfiability checking (SAT).

Unlike other learning ASP solvers, clasp does not rely on legacy
software, such as a SAT solver or any other existing ASP
solver. Rather, clasp has been genuinely developed for answer set
solving based on conflict-driven nogood learning. clasp can be applied
as an ASP solver (on SMODELS format, as output by Gringo), as a SAT
solver (on a simplified version of DIMACS/CNF format), or as a PB
solver (on OPB format).

--- End Message ---
--- Begin Message --- 
Source: clasp
Source-Version: 1.3.6-3

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

clasp_1.3.6-3.debian.tar.gz
  to main/c/clasp/clasp_1.3.6-3.debian.tar.gz
clasp_1.3.6-3.dsc
  to main/c/clasp/clasp_1.3.6-3.dsc
clasp_1.3.6-3_amd64.deb
  to main/c/clasp/clasp_1.3.6-3_amd64.deb
clasp_1.3.6.orig.tar.gz
  to main/c/clasp/clasp_1.3.6.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 605877@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 clasp 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: Sun, 05 Dec 2010 17:56:39 +0100
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 1.3.6-3
Distribution: unstable
Urgency: low
Maintainer: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description: 
 clasp      - A conflict-driven nogood learning answer set solver
Closes: 605877
Changes: 
 clasp (1.3.6-3) unstable; urgency=low
 .
   * Filed ITP. (Closes: #605877)
Checksums-Sha1: 
 2530a5bf1e6935ce01ca57d1fdc632fc61ce85ea 1068 clasp_1.3.6-3.dsc
 12829c0c16dd0f52e5358eafa235042b5c4f2aa3 270466 clasp_1.3.6.orig.tar.gz
 2abf1424b232fc60754c13b442321256273cbfbf 4247 clasp_1.3.6-3.debian.tar.gz
 5c076c85fc07ac7d113c8714afc84d1e9bb5fca4 277192 clasp_1.3.6-3_amd64.deb
Checksums-Sha256: 
 50a10e761292cb855125ec57d9e2a819edd9c67677c4868fcec4a4b545c791ae 1068 clasp_1.3.6-3.dsc
 83ffa6f45ef4963425bc24735e03eecf5b22f8c86b3c3d25b4e7d622aaf827cf 270466 clasp_1.3.6.orig.tar.gz
 a63b076372e03d499384c52a9297799f8852cdef4453fe2290e25342b545893f 4247 clasp_1.3.6-3.debian.tar.gz
 d236264ad39235c41f75d1bbfbe1c788858afce1514a3db8c843f63866851c15 277192 clasp_1.3.6-3_amd64.deb
Files: 
 f9d8f827e8f8ac0ce682b18cd9e810d3 1068 interpreters extra clasp_1.3.6-3.dsc
 11216a872659843107a1dbc54575860a 270466 interpreters extra clasp_1.3.6.orig.tar.gz
 6d6fade3a305cb5e26f5a0308092e710 4247 interpreters extra clasp_1.3.6-3.debian.tar.gz
 01d139c679c8a26d6d7fcf1dd73af699 277192 interpreters extra clasp_1.3.6-3_amd64.deb

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

iEYEARECAAYFAkz70uUACgkQvx6dH3bVKsQd3gCgzi/EkvdbGjJ5jKnkRoa0iG1E
6jsAnjUBeqEN3WqULEb8psu0PzO0361j
=/2IT
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: