Namespace ClingoSharp.CoreServices.Interfaces.Modules

Functions to control the grounding and solving process.

Functions used throughout all modules and version information

Inspection of models and a high-level interface to add constraints during solving.

Interact with a running search.

Inspection of atoms occurring in ground logic programs

Working with (evaluated) ground terms and related functions.