Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Examples
Here is a list of all examples:
ast.c
backend.c
configuration.c
control.c
model.c
propagator.c
solve-async.c
statistics.c
symbol.c
symbolic-atoms.c
theory-atoms.c
version.c
Generated on Wed Nov 8 2017 09:57:37 for Clingo C API by
1.8.13