#acl EditorsGroup:read,write,delete,revert,admin All:
= Potassco =
<<TableOfContents>>

== Association ==
University of Potsdam, Germany

== Description ==
[[http://potassco.sourceforge.net/|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 [[http://potassco.sourceforge.net/|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 ==
<<BR>>
||<style="text-align: left;">System ||<style="text-align: left;">Version ||<style="text-align: left;">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 [[ToolsUtilities|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.