Package clingox
The clingox package provides auxiliary functions that extend the functionality
of the clingo package.
Expand source code
"""
The clingox package provides auxiliary functions that extend the functionality
of the `clingo` package.
"""Sub-modules
clingox.ast-
This module provides highlevel functions to work with clingo's AST …
clingox.backend-
This module provides a backend wrapper to work with symbols instead of integer literals …
clingox.pprint-
This module is a replacement for Python`s pprint module for pretty printing clingo objects.
clingox.program-
This module provides functions to work with ground programs …
clingox.reify-
This module provides functions to reify programs …
clingox.solving-
This module provides functions to approximate the cautious consequences of a program
clingox.testing-
The clingox.testing module provides auxiliary functions to create unit test for the clingo package.
clingox.theory-
This module provides functions to work with clingo's theories …