Skip to content

potassco-asp-course/notebooks

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Notebooks of the course Answer Set Solving in Practice

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: Binder

About

This repository collects notebooks for the course

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published