Clingo.Raw.Control

controlNew

controlFree

Grounding

controlLoad

controlAdd

controlGround

Solving

controlSolve

controlCleanup

controlAssignExternal

controlReleaseExternal

controlRegisterPropagator

controlStatistics

controlInterrupt

controlClaspFacade

Configuration

controlConfiguration

controlUseEnumAssumption

Program Inspection

controlGetConst

controlHasConst

controlSymbolicAtoms

controlTheoryAtoms

controlRegisterObserver

Program Modification

controlBackend

controlProgramBuilder