Potassco
Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam

Overview Article Citation Google+

clasp

clasp is an answer set solver for (extended) normal and disjunctive 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 SMODELS format, as output by Gringo), as a SAT solver (on a simplified version of DIMACS/CNF format), or as a PB solver (on OPB format).

Download Documentation Resources Support Article Citation

clasp is also available in Debian, Ubuntu, Arch Linux (AUR), and Mac OS X (homebrew).

Gringo

Current answer set solvers work on variable-free programs. Hence, a grounder is needed that, given an input program with first-order variables, computes an equivalent ground (variable-free) program. Gringo is such a grounder. Its output can be processed further with clasp, claspar, or claspfolio.

Download Documentation Support Article Citation

gringo is also available in Debian, Ubuntu, Arch Linux (AUR), and Mac OS X (homebrew).

Attention! The languages of Gringo 3 and 4 are not fully compatible because Gringo 4 adheres to the recent ASP language standard. For processing legacy encodings, we recommend downloading the latest version of Gringo 3 in addition to Gringo 4.

Clingo

Clingo combines both gringo and clasp into a monolithic system. This way it offers more control over the grounding and solving process than gringo and clasp can offer individually - e.g., incremental grounding and solving. Clingo comes with its own version of claspD-2 and hence now supports parallel- and disjunctive solving.

clingo is also available in Debian, Ubuntu, Arch Linux (AUR), and Mac OS X (homebrew).

Download Download (legacy version 2.x) Documentation Script API Reference Support Article Citation

Attention! The languages of Gringo 3 and 4 are not fully compatible because Gringo 4 adheres to the recent ASP language standard. For processing legacy encodings, we recommend downloading the latest version of Gringo 3 in addition to Gringo 4.

Aspcud

Aspcud is a solver for package dependencies. A package universe and a request to install, remove, or upgrade packages have to be encoded in the CUDF format. Such a CUDF document can then be passed to aspcud along with an optimization criteria to obtain a solution to the given package problem.

Aspcud is available as a backend solver for apt-get in debian. More information can be found in the blog entry about using external solvers with apt-get. But if you want to get started quickly:

aspcud is also available in Debian and Ubuntu.

Download Download (older versions) Support Mancoosi Homepage Citation

Clingcon

Clingcon is an answer set solver for constraint logic programs, building upon the answer set solver Clingo and the CSP solver Gecode. It extends the high-level modeling language of ASP with constraint solving capacities. Constraints over finite domain integer variables can be used in logic programs. Clingcon adopts state-of-the-art techniques from the area of SMT, like conflict-driven learning and theory propagation.

Download Resources Support Article Citation

claspfolio

claspfolio is a portfolio solver for ASP that makes use of machine-learning techniques for performing algorithm selection, choosing among different configurations of clasp.

Download Resources Support Article Citation

coala

Coala is a versatile compiler from action languages to answer set programs. It supports different encodings, variables and LTL style queries.

Download Resources Support Article Citation

Potassco Labs

The Potassco Labs suite comprises programs related to Answer Set Programming. These are either small utilities or projects in an early or unfinished development phase.

Potassco Labs

Potassco Cemetery

The Potassco Cemetery serves as an archive for superseded programs that belonged to the Potassco suite.

Potassco Cemetery

Follow us at G+ SourceForge.net Logo Valid XHTML 1.0 Strict Valid CSS!