Clingo C API
C API for clingo providing high level functions to control grounding and solving.
|
Basic Data Types and Functions | Data types and functions used throughout all modules and version information |
Symbols | Working with (evaluated) ground terms and related functions |
Abstract Syntax Trees Version 2 | Functions and data structures to work with program ASTs |
▼Grounding and Solving | Functions to control the grounding and solving process |
Symbolic Atom Inspection | Inspection of atoms occurring in ground logic programs |
Theory Atom Inspection | Inspection of theory atoms occurring in ground logic programs |
Theory Propagation | Extend the search with propagators for arbitrary theories |
Program Building | Add non-ground program representations (ASTs) to logic programs or extend the ground (aspif) program |
Solver Configuration | Configuration of search and enumeration algorithms |
Statistics | Inspect search and problem statistics |
Model Inspection | Inspection of models and a high-level interface to add constraints during solving |
Solving | Interact with a running search |
Program Inspection | Functions and data structures to inspect programs |
Extending Clingo | Functions to customize clingo's main function |