src/demo/coloring.cc
changeset 1434 d8475431bbbb