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.program
-
This module provides functions to work with ground programs …
clingox.reify
-
This module provides functions to reify programs …
clingox.theory
-
This module provides functions to work with clingo's theories …