Clingo.Solving

data ResultReady

class MonadSolve m

solverClose

allModels