clingo-bootstrap
Download : docker pull ghcr.io/autamus/clingo-bootstrap
Compressed Size : 109MB
Description
Clingo with some options used for bootstrapping
Usage
Pull (Download)
To download the latest version of clingo-bootstrap run,
docker pull ghcr.io/autamus/clingo-bootstrap:latest
or to download a specific version of clingo-bootstrap run,
docker pull ghcr.io/autamus/clingo-bootstrap:latest
Run
To run the container as an application run,
docker run --rm ghcr.io/autamus/clingo-bootstrap clingo-bootstrap --version
or to run the container in an interactive session run,
docker run -it --rm ghcr.io/autamus/clingo-bootstrap bash
Mounting volumes between the container and your machine
To access files from your machine within the clingo-bootstrap container you’ll have to mount them using the -v external/path:internal/path
option.
For example,
docker run -v ~/Documents/Data:/Data ghcr.io/autamus/clingo-bootstrap clingo-bootstrap /Data/myData.csv
which will mount the ~/Documents/Data
directory on your computer to the /Data
directory within the container.
HPC
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-bootstrap container here.