Colors a graph using a constraint solver.