utils

The utils subpackage collects the supporting machinery used throughout the pipeline:

• data — core configuration and value types (Options, Predicate, …).
• solving — Clingo invocation and the two solving modes.
• transformation — helpers for applying AST transformers and manipulating predicates.
• output — CX program assembly and serialization.
• logging — the shared logger.
• errors — the AnthemCXError exception type.
• parsing — parsers for programs and user guides.

Utilities.