Potassco
Association
University of Potsdam, Germany
Description
Potassco, the "Potsdam Answer Set Solving Collection", bundles tools for Answer Set Programming developed at the University of Potsdam. It includes:
- solver clasp (version 2.0.0-RC2)
- solver claspD (version 1.1.1)
- grounder Gringo (version 3.0.3)
- grounder + (constraint) solver Clingcon (version 0.1.2)
Sources (and binaries) as well as detailed descriptions of the systems are available at the Potassco project page.
Participants
- Benjamin Andres
- Christian Drescher
- Martin Gebser
- Torsten Grote
- Roland Kaminski
- Benjamin Kaufmann
- Arne König
- Yuliya Lierler
- Oliver Matheis
- Max Ostrowski
- Orkunt Sabuncu
- Torsten Schaub
- Marius Schneider
- Sven Thiele
System Settings
System |
Version |
Command line |
clasp |
2.0.0-RC2 |
shifter -q -ss -nS | gringo --shift | clasp --outf=1 --heuristic=Berkmin --berk-max=512 |
claspD |
1.1.1 |
shifter -q -ss -nS | gringo | claspD |
claspfolio |
1.0.0 |
shifter -q -ss -nS | gringo --shift | clasp --outf=1 --auto |
In all cases, the shifter tool provided by the competition organizers was used to do basic syntactic language transformations of ASP-Core programs, and Gringo version 3.0.3 was used for grounding.