ASP Competition 2013: Participants\Potassco

Potassco

Team

Description

Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam. For the Model&Solve track problems, we use gringo 3 (stand-alone on Reachability), clasp 2, and iclingo 3 (on Solitaire). Search settings for clasp are manually chosen (wrt few instances) per problem class, mostly among options offered via the switch "--configuration".

System Settings

References

ASP Competition 2013: Participants\Potassco (last edited 2013-05-26 15:05:19 by FrancescoCalimeri)