Colors a graph with minimum number of colors using a constraint solver.