Package clingox
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 …