Graph minor workshop
Edit a small graph, inspect a greedy coloring, and contract chosen edges.
Input boundary
Bundled graph with at most six vertices in this release.
Method
Uses a deterministic greedy coloring, exact clique search, and explicit edge contraction.
Interpretation boundary
Contractions explore selected minors only; the tool does not perform an exhaustive minor search or prove Hadwiger's conjecture.