Graph coloring example#198

Open

matthiasgreen wants to merge 8 commits intomasterfrom

feature/coloring

Commits on Aug 26, 2025

feat(col): Add script to download coloring problems
matthiasgreen
committed

Commits on Aug 27, 2025

fix(col): Better default for env var
matthiasgreen
committed

Commits on Sep 12, 2025

doc(col): Document and clean up coloring
matthiasgreen
committed