Download of README (README ( external link: SF.net): 1,711 bytes) will begin shortly. If not so, click link on the left.

File Information

File Size
1,711 bytes
MD5
daaf8f4d4d5f73c61cb61fc19acf44ba

프로젝트 설명

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.