Clingo.Model

data Model s

data SolveControl s

data SymbolicLiteral s

data SymbolSelection

data ModelType

selectAll

selectNone

class MonadModel m