|
Size: 1430
Comment:
|
← Revision 3 as of 2011-05-23 08:06:20 ⇥
Size: 1741
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 43: | Line 43: |
{{{#!wiki comment [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-clasp.zip|download]] [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-claspd.zip|download]] [[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-claspfolio.zip|download]] }}} |
Potassco
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.