Versions: [5.4.0, 5.4.1, 5.5.0, 5.5.1, 5.5.2]


Download        : docker pull
Compressed Size : 110MB


Clingo: A grounder and solver for logic programs Clingo is part of the Potassco project for Answer Set Programming (ASP). ASP offers a simple and powerful modeling language to describe combinatorial problems as logic programs. The clingo system then takes such a logic program and computes answer sets representing solutions to the given problem.


Pull (Download)

To download the latest version of clingo run,

docker pull

or to download a specific version of clingo run,

docker pull


To run the container as an application run,

docker run --rm clingo --version

or to run the container in an interactive session run,

docker run -it --rm bash

Mounting volumes between the container and your machine

To access files from your machine within the clingo container you’ll have to mount them using the -v external/path:internal/path option.

For example,

docker run -v ~/Documents/Data:/Data clingo /Data/myData.csv

which will mount the ~/Documents/Data directory on your computer to the /Data directory within the container.


If you’re looking to use this container in an HPC environment we recommend using Singularity-HPC to use the container just as any other module on the cluster. Check out the SHPC clingo container here.