welcome: please sign in

Please enter your password of your account at the remote wiki below.
/!\ You should trust both wikis because the password could be read by the particular administrators.

Clear message
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.