A docker image with clingo, Jupyter, and conda installed.
But why make this notebook if clingo has conda as a dependency anyway? 🤔
This is made for people who do not use conda primarily as their Python package manager (such as myself) or for software developers who do not use Python extensively but are probably serial docker users.
Install docker if you have not already.
With docker installed:
docker pull stephsamson/clingo
In your project workspace (such as ~/code/asp, for example), run:
docker run --rm -p 8888:8888 -v "$PWD":/home/jovyan/work stephsamson/clingo
A Jupyter notebook link will appear on your terminal; copy and paste this link
onto your browser. Your project workspace will be under /work in the Jupyter
notebook tree.
Before you run a cell in a Jupyter notebook, make sure that you have the following to run cell magic:
%%clingo -V0 0
... so it should look like this:
To enable verbose mode in cell magic, simply use the following cell magic:
%%clingo 0
And that's it! 💫
If you don't need a notebook because you simply want to run the .lp file from
your project workspace:
# assumes dir has .lp files
docker run --rm -it -v "$PWD":/home/jovyan/work --entrypoint=/bin/bash stephsamson/clingo
This will run an interactive bash shell and your work will be under the work
directory.
This docker image is built on jupyter/docker-stacks so it is capable of accepting other options as written on their documentation.