clingo-0.2.0.0: Haskell bindings to the Clingo ASP solver

Safe HaskellNone
LanguageHaskell2010

Clingo.Raw

Description

Raw bindings to the clingo C API. The functions provided here are equivalent to the functions provided by the C API. In almost all cases you want to use the high level bindings instead. The raw modules are exported for users who want to build their own abstraction, or need an unsafe interface for optimization reasons.

For documentation, please refer to the C documentation at https://potassco.org/clingo/c-api/current/

When importing both the Raw module and the high level wrappers, please consider using qualified imports, because they share multiple names.