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\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