|
Clingo C API
C API for clingo providing high level functions to control grounding and solving.
|
Struct to define an argument that consists of a name and a type.
Public Attributes | |
| clingo_ast_attribute_t | attribute |
| clingo_ast_attribute_type_t | type |
1.8.17