Clingo
Loading...
Searching...
No Matches
Internal C++ API

This is the internal Clingo API, use at your own risk. More...

Modules

 Utility
 Library for utility functionality.
 
 Core
 Library for core functionality.
 
 Input
 Library for representing and rewriting logic programs.
 
 Grounding
 Library for grounding statements.
 
 Output
 Library for outputting grounded statements.
 
 Control
 Library combining input, ground, and output.
 

Detailed Description

This is the internal Clingo API, use at your own risk.

The interface might change across minor releases without further notice.