changes to coloring/solver.py