src/demo/coloring.cc
Sat, 14 May 2005 17:40:45 +0000 Six-coloring in plan graphs.