Pinned Repositories
bibliography
📚 BibTeX bibliography files of all papers referenced by the group
course
The main repository integrating the LaTeX beamer-based slides
potassco-asp-course.github.io
The webpage of the Potassco ASP course.
asprilo-encodings
Collection of ASP encodings for asprilo
guide
🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
plasp
🗺️ ASP planning tools for PDDL
potassco.github.io
ℹ️ The Potassco website
python-project-template
📄 Template for python based projects.
asprilo-encodings
Endings for aspilro environments
eclingo
tortinator's Repositories
tortinator/asprilo-encodings
Endings for aspilro environments
tortinator/eclingo