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 …