Solver of a graph coloring problem