clasp_2.0.2-1~bpo60+1_i386.changes is NEW
(new) clasp_2.0.2-1~bpo60+1.debian.tar.gz extra interpreters
(new) clasp_2.0.2-1~bpo60+1.dsc extra interpreters
(new) clasp_2.0.2-1~bpo60+1_i386.deb extra interpreters
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 LPARSE
output format), as a SAT solver (on simplified DIMACS/CNF format), or
as a PB solver (on OPB format).
(new) clasp_2.0.2.orig.tar.gz extra interpreters
Changes: clasp (2.0.2-1~bpo60+1) squeeze-backports; urgency=low
.
* Rebuild for squeeze-backports.
Override entries for your package:
Announcing to debian-backports-changes@lists.debian.org
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.
ution wrong. You'll get warnings above
if files already exist in other distributions.
Reply to: