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:
- binder: contains configuration files for the notebooks
- introduction: contains exercises to learn Answer Set Programming from examples
- modeling: contains basic modeling exercises
- projects: contains small projects
- environment.ipynb: this file describes the environment of the notebooks
The notebooks are deployed using Binder, they can be run following this link:
