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 …