adundovi / potassco

( forked from cottsay / gringo )

Description

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.

Installation Instructions

Instructions not filled in by author. Author knows what to do. Everybody else should avoid this repo.

Active Releases

The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).

Release Architectures Repo Download
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.