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

File Information

File Size
369 bytes
MD5
f5808ba261165a36f730aa0b601577d7

Projeto Descrição

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.