This repository collects Jupyter notebooks deployed using Binder. Please click on the previous links to find out more about notebooks.
The directory binder
contains some configuration files
that are used to install clingo
(see binder/environment.yml
),
and to define a magic command (see binder/postBuild
)
that allows us to run clingo
on the cells whose first line starts with
%clingo
just by clicking on them.
If you want to save your changes,
you have to download the files that you have modified,
and in the next session you have to upload them.
For the download, go to the Files
menu,
tick the files that you want to download, and
click the button Download
.
For the upload, go to the Files
menu, and click the button Upload
.