Download : docker pull ghcr.io/autamus/clingo Compressed Size : 89MB
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.
To download the latest version of clingo run,
docker pull ghcr.io/autamus/clingo:latest
or to download a specific version of clingo run,
docker pull ghcr.io/autamus/clingo:5.4.0
To run the container as an application run,
docker run --rm ghcr.io/autamus/clingo clingo --version
or to run the container in an interactive session run,
docker run -it --rm ghcr.io/autamus/clingo 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.
docker run -v ~/Documents/Data:/Data ghcr.io/autamus/clingo 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.