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 …