src/demo/coloring.cc
changeset 1431 ad44b1dd8013