Wissensverarbeitung und Informationssysteme, Software

Potassco

Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam; it is hosted by Sourceforge.

Potassco now also features a Lab section containing tools and experimental software.

Available Software

Software for Biological Reasoning

Benchmarking Software

Historic Software