IDP: Demo Overview
Europe Coloring
Course Selection
Desired State
Automatic Configuration
LPCP2015
Graph Coloring
Nqueens
More visualised demos
Current State