#acl EditorsGroup:read,write,delete,revert,admin All:read
= 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''
 * solver ''claspD''
 * solver ''claspfolio''
 * grounder ''Gringo''

Sources (and binaries) as well as detailed descriptions of the systems are available at the

[[http://potassco.sourceforge.net/|Potassco]] project page.

== Participants ==
 * Christian Drescher
 * Martin Gebser
 * Torsten Grote
 * Roland Kaminski
 * Benjamin Kaufmann
 * Arne König
 * Max Ostrowski
 * Torsten Schaub
 * Marius Schneider
 * Sven Thiele



== System Settings ==
<<BR>>
||<(>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 [[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.

{{{#!wiki comment
[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-clasp.zip|download]]
[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-claspd.zip|download]]
[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-claspfolio.zip|download]]
}}}