Home

Roland Kaminski Torsten Schaub

Overview

Potassco, the Potsdam Answer Set Solving Collection bundles tools for Answer Set Programming developed at the University of Potsdam, among them, the answer set solver clasp, the grounder gringo, and their combinations clingo and iclingo.

To get started, please read our guide:
potassco guide

To get further assistance, consider browsing the potassco-users archive:
potassco-users archive

Or subscribe to the list and then contact us directly:
potassco-users subscription

Finally, you might want to subscribe to the announcement list to get informed about the latest releases:
potassco-announce subscription

Getting started with Potassco Systems

Using Potassco Systems

Bibliography

Presentations

Tutorials

Encodings


Related

Wiki: Clasp Installation
Wiki: Clasp Usage
Wiki: Gringo Installation
Wiki: Gringo Usage
Wiki: Rogo
Wiki: Topological Ranking