Potassco Labs
The Potassco Labs suite comprises programs related to Answer Set Programming. These are either small utilities or projects still under development.

Overview Article Citation Google+

We have moved!

Our new web portal is at potassco.org.


aspartame is a translation-based constraint solver that converts a constraint satisfaction problem from Sugar or XCSP format to ASP facts in order to solve the problem with gringo and clasp.

Download Resources


aspeed offers scripts to compute timeout minimal time slices and the corresponding time minimal solver ordering to optimize the robustness of solvers.

Download Resources


asprin is a general framework for quantitative and qualitative optimization in answer set programming.

Download Resources


bc2asp is a python tool that translates the action language BC into ASP facts.

Download and Resources

Benchmark Set Selection

The benchmark set selection tool filters a given set of instances such that hard and too easy instances are removed and the distribution of instance clusters will be more uniform.

Download Resources


chasp is a tool to compose musical harmonies with ASP

Download and Resources


claspre offers the pre-processing functionalities of clasp in a stand-alone tool.

Download Resources


clavis is a toolchain for visualizing clasp's solving process.

Download Resources


dlvtogringo is a tool that converts output generated by "dlv -instantiate" to Gringo's input language.



fimo is a system for computing finite models of first-order theories (written in TPTP format) via incremental Answer Set Programming. fimo uses iClingo for finding answer sets of the resulting logic program. An answer set represents a finite model of the input theory.



ginkgo uses ASP techniques to automatically generalize learned conflict constraints to make them applicable to other PDDL problem instances.


inca (University of New South Wales, Australia)

inca is a prototypical constraint answer set programming system. Like clingcon, it extends the modelling language of ASP with constraints over finite domain integer variables. Unlike clingcon, inca adopts lazy nogood generation to fully integrate constraint propagation into conflict-driven learning.

Download (ASPCOMP 2013 version) Download (ICLP 2012 version) Benchmarks Article

A preliminary version of inca was implemented as preprocessing. It offers various options leading to (non-ground) enodings that can be grounded by gringo.

Download Benchmarks Article Citation


lc2casp is a translator for logic programs with constraint atoms to CASP.

Download and Resources


A simple script that transforms ground lparse output format back into a readable format.



The metasp project comprises a set of encodings that allow for handling complex optimization criteria, e.g., inclusion-based minimization or Pareto efficiency. For solving, the Potassco tools gringo 3 and clasp 3 (previously claspD) are used.

Download and Resources Article Citation


Quontroller is a system based on oClingo to interactively query ASP encodings.

Download and Resources


piclasp, per-instance clasp, provides a wrapper script for the algorithm selector SMAC and a file for the description of the configuration space of clasp



Plasp is an interpreter for a subset of the Planning Domain Definition Language (PDDL). Since it uses Answer Set Programming (ASP) for the actual search, it can also be seen as a PDDL to ASP compiler.

Download Article Citation


A convenience wrapper for the ASP tools gringo, clasp, hclasp



Pyngo is a bottom-up ASP grounder written in Python with the goal to provide a well-documented grounder exploring bottom-up grounding and related techniques.



Rosoclingo is an actionlib server for the Robot Operating System, using the python library gringo.so. Rosoclingo generates task plans and monitors their execution to fulfill requests issued by clients.

Download and Resources

sbass (University of New South Wales, Australia)

The preprocessor Sbass detects and breaks symmetries in the search space of ASP instances by adding symmetry-breaking constraints.

Download Article Citation


xclasp is a variant of the ASP solver clasp, which offers additional facilities for extracting learned conflict constraints while solving logic programs.



Inspired by similar approaches in the field of Boolean satisfiability, the tool xorro exploits XOR constraints to calculate samples with near uniform distribution. Hence, it allows for calculating a few answer sets representative for all answer sets of a logic program. This is particularly useful if the computation of all answer sets is practically infeasible.

Download Documentation


Like Clingcon, xpanda allows for using constraints over finite domain integer variables in logic programs. Unlike with Clingcon, such constraints are expanded, leading to (non-ground) rules that can be grounded by Gringo.

Download Documentation Article Citation


A collection of miscellaneous helper scripts and files.

Zsh auto-completion for potassco
Gringo syntax highlighting for vim

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