Potassco

https://potassco.org/

Potsdam, Germany Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam