adundovi/potassco

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


This is a companion discussion topic for the original entry at https://copr.fedorainfracloud.org/coprs/adundovi/potassco/