tsahyt/clingo5

A Copr repository for clingo version 5, built from the Github releases at https://github.com/potassco/clingo


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