This directory collects notebooks with projects in Answer Set Programming.
They belong to the course Answer Set Solving in Practice of the University of Potsdam.
The environment of the notebooks is described in the file environment.ipynb
at the top directory.