Public bug reported: 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 ** Affects: ubuntu Importance: Undecided Assignee: Thomas Krennwallner (tkren) Status: In Progress ** Tags: needs-packaging ** Changed in: ubuntu Assignee: (unassigned) => Thomas Krennwallner (tkren) ** Changed in: ubuntu Status: New => In Progress -- [needs-packaging] claspd https://bugs.launchpad.net/bugs/607619 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
