[needs-packaging] claspd
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Ubuntu |
Fix Released
|
Wishlist
|
Thomas Krennwallner |
Bug Description
claspD is an answer set programming (ASP) solver for (extended) normal and disjunctive logic programs. Hence, it is able to deal with problems at the second level of the polynomial hierarchy. Conform to this complexity, claspD deploys a generate and test approach, both tasks implemented by way of clasp's core technology. Consequently, claspD incorporates many features that are nowadays standard in state-of-the-art SAT solvers (like chaff, berkmin, minisat, etc.), but which are rather unusual in the context of (disjunctive) ASP solving.
URL: http://
License: GPL-2
Notes: There are ready-to-install debs available at ppa:tkren/asp, see https:/
Changed in ubuntu: | |
assignee: | nobody → Thomas Krennwallner (tkren) |
status: | New → In Progress |
*** This is an automated message ***
This bug is tagged needs-packaging which identifies it as a request for a new package in Ubuntu. As a part of the managing needs-packaging bug reports specification, https:/ /wiki.ubuntu. com/QATeam/ Specs/NeedsPack agingBugs, all needs-packaging bug reports have Wishlist importance. Subsequently, I'm setting this bug's status to Wishlist.