src/demo/coloring.cc
changeset 1426 91eb70983697