Potassco
Team
- Benjamin Andres (University of Potsdam)
- Martin Gebser (University of Potsdam)
- Alexander Häusler (University of Potsdam)
- Julius Höfler (University of Potsdam)
- Holger Jost (University of Potsdam)
- Roland Kaminski (University of Potsdam)
- Benjamin Kaufmann (University of Potsdam)
- Arne König (University of Potsdam)
- Marco Müller (University of Potsdam)
- Philipp Obermeier (University of Potsdam)
- Max Ostrowski (University of Potsdam)
- Sven Papenfuß (University of Potsdam)
- Danny Puhan (University of Potsdam)
- Tobias Rabener (University of Potsdam)
- Javier Romero Davila (University of Potsdam)
- Orkunt Sabuncu (University of Potsdam)
- Torsten Schaub (University of Potsdam)
- Thomas Schnaak (University of Potsdam)
- Marius Schneider (University of Potsdam)
- Johannes Spazier (University of Potsdam)
- Philipp Wanko (University of Potsdam)
- Matthias Weise (University of Potsdam)
Description
Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam. For the Model&Solve track problems, we use gringo 3 (stand-alone on Reachability), clasp 2, and iclingo 3 (on Solitaire). Search settings for clasp are manually chosen (wrt few instances) per problem class, mostly among options offered via the switch "--configuration".
System Settings
- Permutation Pattern Matching: gringo | clasp --configuration=handy
- Valves Location Problem: gringo | clasp --config=jumpy --restart-on-model --opt-heu=2 --reset-restarts
- Connected Maximum-Density Still Life: gringo | clasp
- Graceful Graphs: gringo | clasp --heu=vsids
- Bottle Filling Problem: gringo | clasp --heu=vsids
- Nomystery: gringo | clasp --config=jumpy
- Sokoban: gringo | clasp
- Ricochet Robots: gringo | clasp --configuration=handy
- Crossing Minimization: gringo | clasp (| "pretty-print")
- Reachability: gringo (| "pretty-print")
- Strategic Companies: gringo | clasp(D-2 | "pretty-print")
- Solitaire: iclingo --heu=vsids (| "pretty-print")
- Weighted-Sequence Problem: gringo | clasp (| "pretty-print")
- Stable Marriage: gringo | clasp --config=jumpy
- Incremental Scheduling: gringo | clasp (| "pretty-print")
References
Participant URL.
Gebser M. et al. Potassco: The Potsdam Answer Set Solving Collection. AI Communications 24(2): 107-124, 2011.