RPM packages for clasp, gringo, clingo, and aspcud
Instructions not filled in by author. Author knows what to do. Everybody else should avoid this repo.
This is a companion discussion topic for the original entry at https://copr.fedorainfracloud.org/coprs/cottsay/gringo/