welcome: please sign in
location: Diff for "Participants/Potassco"
Differences between revisions 3 and 4
⇤ ← Revision 3 as of 2011-05-17 10:54:29 →
Size: 1426
Editor: CarmenSantoro
Comment:
← Revision 4 as of 2011-05-17 11:16:07 → ⇥
Size: 1654
Editor: CarmenSantoro
Comment:
Deletions are marked like this. Additions are marked like this.
Line 9: Line 9:
[[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: [[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:
Line 11: Line 11:
 * solver ''clasp''
 * solver ''claspD''
 * solver ''claspfolio''
 * grounder ''Gringo''		  * 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)
Line 16: Line 16:
Sources (and binaries) as well as detailed descriptions of the systems are available at the

[[http://potassco.sourceforge.net/|Potassco]] project page.		 Sources (and binaries) as well as detailed descriptions of the systems are available at the [[http://potassco.sourceforge.net/|Potassco]] project page.
Line 21: Line 19:
 * Benjamin Andres
Line 27: Line 26:
 * Yuliya Lierler
 * Oliver Matheis
Line 28: Line 29:
 * Orkunt Sabuncu
Line 32: Line 34:
== 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}}} ||
Line 34: Line 42:
== 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}}}||
Line 42: Line 44:
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. 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.

Potassco

Contents

  1. Potassco
    1. Association
    2. Description
    3. Participants
    4. System Settings

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.

ASP Competition 2011: Participants/Potassco (last edited 2011-05-23 07:30:36 by CarmenSantoro)