welcome: please sign in
location: Diff for "Participants/clasp(folio)(d)-Potassco"
Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2011-05-17 11:09:50 →
Size: 1426
Editor: CarmenSantoro
Comment:
← Revision 2 as of 2011-05-22 08:17:43 → ⇥
Size: 1430
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
#acl EditorsGroup:read,write,delete,revert,admin All: #acl EditorsGroup:read,write,delete,revert,admin All:read

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/clasp(folio)(d)-Potassco (last edited 2011-05-23 08:06:20 by CarmenSantoro)