Fedora Packages

python3-clingo Subpackage of clingo

Python 3 bindings for Clingo

This module provides functions and classes to work with ground terms and to control the instantiation process. In clingo builts, additional functions to control and inspect the solving process are available. Functions defined in a python script block are callable during the instantiation process using @-syntax. The default grounding/solving process can be customized if a main function is provided. Detailed information (including a User's manual), source code, and pre-compiled binaries are available at: http://potassco.org/

Releases Overview

Release Stable Testing
Fedora Rawhide 5.5.0-1.fc36 -
Fedora 35 5.4.1-3.fc35 -
Fedora 34 5.4.1-1.fc34 -
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