Clingo.Control

data IOSym s a

data Clingo s a

data ClingoWarning

warningString

data ClingoSetting

defaultClingo

withDefaultClingo

withClingo

data Part s

loadProgram

addProgram

ground

interrupt

cleanup

registerPropagator

registerUnsafePropagator

data Continue

data SymbolicLiteral s

data SolveResult

exhausted

data Solver s

solve

withSolver

data SolveMode

statistics

programBuilder

configuration

backend

symbolicAtoms

theoryAtoms

data TruthValue

negateTruth

assignExternal

releaseExternal

getConst

hasConst

useEnumAssumption

version