ddmler/docker-clingo repository overview

⁠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