This repository collects notebooks of the course Answer Set Solving in Practice (https://teaching.potassco.org) of the University of Potsdam.
The repository is organized as follows:
- advanced: contains the projects of the advanced part of the course
- binder: contains configuration files for the notebooks
- modeling: contains basic modeling exercises
- projects: contains small projects
- tutorial: contains the material for the Easy ASP tutorial
- environment.ipynb: describes the environment of the notebooks
The notebooks are deployed using Binder, they can be run following this link:
