welcome: please sign in

Upload page content

You can upload content for the page named below. If you change the page name, you can also upload content for another page. If the page name is empty, we derive the page name from the file name.

File to load page content from
Page name
Comment

location: Participants / clasp(folio)(d)-Potassco

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:

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

Potassco project page.

Participants

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.