Clingo.Raw.ProgramBuilding

backendRule

backendWeightRule

backendMinimize

backendProject

backendExternal

backendAssume

backendHeuristic

backendAcycEdge

backendAddAtom

programBuilderBegin

programBuilderAdd

programBuilderEnd