potassco

We have hosted the application potassco in order to run this application in our online workstations with Wine or directly.

Quick description about potassco:

Potassco, the Potsdam Answer Set Solving Collection bundles tools for Answer Set Programming developed at the University of Potsdam, among them, the answer set solver clasp, the grounder gringo, and their combination clingo.



.