Pour pouvoir utiliser les notebook Walnut (par exemple le TP3), deux options en salle de TP :
- utiliser Docker (pas disponible au sous-sol) avec la commande
$ docker run --rm -p 8888:8888 -it nopid/walnut. Une fois le container lancé, il faut recopier dans son navigateur l'URL qui s'affiche tout à la fin et qui commence par https://127.0.0.1:8888.
- à distance sur Binder, en étant patient au lancement et avec une mémoire limitée, il suffit d'ouvrir l'URL https://mybinder.org/v2/gh/nopid/jupywalnut/main
Une fois que l'interface web est là, il faut se placer dans le répertoire notebooks et y téléverser le sujet TP3-presburger.ipynb puis de travailler dedans.
Attention, il faut télécharger son notebook avant de fermer la fenêtre du navigateur sous peine de perdre tout son travail ! Pour cela on va dans le menu Fichier et on choisit de télécharger au format notebook (.ipynb).
