Docker image for clingo, an answer set programming solver with examples to play around.