Pinned Repositories
asp-macros
LaTeX macros for concepts from ASP (originally built for ASP book)
asprilo
Endings for aspilro environments
clingo
A grounder and solver for logic programs.
clingo-dl-theory-example
dse
guide
An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
markdown-cheatsheet
Markdown Cheatsheet for Github Readme.md
Memories-of-Jensai
Prototype for Memories of Jensai
potassco.github.io
The Potassco website
train-schedule-optimisation-challenge-starter-kit
sbb-train-schedule-optimisation-challenge-starter-kit
wanko's Repositories
wanko/asp-macros
LaTeX macros for concepts from ASP (originally built for ASP book)
wanko/asprilo
Endings for aspilro environments
wanko/clingo
A grounder and solver for logic programs.
wanko/clingo-dl-theory-example
wanko/dse
wanko/guide
An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
wanko/markdown-cheatsheet
Markdown Cheatsheet for Github Readme.md
wanko/Memories-of-Jensai
Prototype for Memories of Jensai
wanko/potassco.github.io
The Potassco website
wanko/train-schedule-optimisation-challenge-starter-kit
sbb-train-schedule-optimisation-challenge-starter-kit
wanko/warehouse-management-generator
ASP-based instance generator for the Warehouse Management Problem