[needs-packaging] claspd

Bug #607619 reported by Thomas Krennwallner
6
This bug affects 1 person
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://potassco.sourceforge.net/#claspd
License: GPL-2
Notes: There are ready-to-install debs available at ppa:tkren/asp, see https://launchpad.net/~tkren/+archive/asp and http://www.kr.tuwien.ac.at/staff/tkren/deb.html

Changed in ubuntu:
assignee: nobody → Thomas Krennwallner (tkren)
status: New → In Progress
Revision history for this message
Brian Murray (brian-murray) wrote :

*** 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/NeedsPackagingBugs, all needs-packaging bug reports have Wishlist importance. Subsequently, I'm setting this bug's status to Wishlist.

Changed in ubuntu:
importance: Undecided → Wishlist
Revision history for this message
Oskar Wallgren (oskar-wallgren13) wrote :
Changed in ubuntu:
status: In Progress → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.