Fedora Packages

clingo

A grounder and solver for logic programs

Clingo is part of the Potassco project for Answer Set Programming (ASP). ASP offers a simple and powerful modeling language to describe combinatorial problems as logic programs. The clingo system then takes such a logic program and computes answer sets representing solutions to the given problem.

Releases Overview

Release Stable Testing
Fedora Rawhide 5.7.1-1.fc41 -
Fedora 41 5.7.1-1.fc41 -
Fedora 40 5.7.1-1.fc40 -
Fedora 39 5.6.2-6.fc39 -
File a new bug report »
Package Info
Related Packages

You can contact the maintainers of this package via email at clingo dash maintainers at fedoraproject dot org.



Sources on Pagure