clasp 3.3.5-4.1 source package in Ubuntu
Changelog
clasp (3.3.5-4.1) unstable; urgency=medium * Non-maintainer upload [ Lukas Märdian ] * Use system-provided catch (Closes: #1004022) -- Sebastian Ramacher <email address hidden> Wed, 28 Sep 2022 23:21:38 +0200
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- interpreters
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| clasp_3.3.5-4.1.dsc | 2.0 KiB | a5ce778b143bcdf9f3c19099bd9b8f7ec91d7d250dc0e0855abb15112ab11e36 |
| clasp_3.3.5.orig.tar.gz | 811.6 KiB | c0204b85ea3453af9372d8c7ffcb11306d5279b68c4d4af056f3fad65fe50724 |
| clasp_3.3.5-4.1.debian.tar.xz | 10.1 KiB | 4367792626f59a79622586248e67adc8331ebdff25b3f8e375cd6788161bdbc2 |
No changes file available.
Binary packages built by this source
- clasp: 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).
- clasp-dbgsym: debug symbols for clasp
