src/demo/coloring.cc
changeset 1427 14c75970840e