IDP: Demo Overview

Europe Coloring

Course Selection

Desired State

Automatic Configuration

LPCP2015

Graph Coloring

Nqueens

More visualised demos

Current State