-
Install
docker
anddocker-compose
. -
Run
docker compose up
ordocker compose up -d
. -
Find in the log a link that looks like
http://127.0.0.1:8888/?token=*
and access it with your browser. -
Please note that
~/work/
in the container is bounded to./
in the host machine. -
Open a new
Python
notebook, and type your script under the%%clingo -V0 0
cell magic. For example:%%clingo -V0 0 {a; b}.
rami3l / ecn-pappl-asp Goto Github PK
View Code? Open in Web Editor NEWNotebooks of ECN project "Coloring of Influence Graphs" in AnsProlog