#acl EditorsGroup:read,write,delete,revert,admin All:read

= 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 [[http://potassco.sourceforge.net/|URL]].
 * Reference [[http://www.cs.uni-potsdam.de/wv/bibtex/gekakaosscsc11a.bib|URL]]
 * M. Gebser and R. Kaminski and B. Kaufmann and M. Ostrowski and T. Schaub and M. Schneider, ''Potassco: The Potsdam Answer Set Solving Collection''. AI Communications 24(2): 107-124, 2011.