welcome: please sign in
location: Diff for "Participants/Potassco"
Differences between revisions 2 and 3
⇤ ← Revision 2 as of 2011-05-17 10:53:53 →
Size: 1425
Editor: CarmenSantoro
Comment:
← Revision 3 as of 2011-05-17 10:54:29 → ⇥
Size: 1426
Editor: CarmenSantoro
Comment:
Deletions are marked like this. Additions are marked like this.
Line 18: Line 18:
[[http://potassco.sourceforge.net/|Potassco]]project page. [[http://potassco.sourceforge.net/|Potassco]] project page.

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

  • solver claspD

  • solver claspfolio

  • grounder Gringo

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

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


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)