Added graph coloring solver