docker-clingo A docker image for clingo, an answer set programming solver with examples to play around. How to use Pull the latest image docker pull ddmler/docker-clingo Try an example docker run ddmler/docker-clingo clingo examples/gringo/subset/example.lp