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 combinations clingo and iclingo.
To get started, please read our guide:
To get further assistance, consider browsing the potassco-users archive:
Or subscribe to the list and then contact us directly:
Finally, you might want to subscribe to the announcement list to get informed about the latest releases: