Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam.
Answer Set Programming (ASP) offers a simple and powerful modeling language to solve combinatorial problems. With our tools you can concentrate on an actual problem, rather than a smart way of implementing it.
Instructions not filled in by author. Author knows what to do. Everybody else should avoid this repo.
The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).
|Fedora 26||x86_64 (0)*||Fedora 26 (10 downloads)|
|Fedora 27||x86_64 (0)*||Fedora 27 (10 downloads)|
* Total number of packages downloaded in the last seven days.