refactoring Solver
removed no longer needed coloring.Vertex and coloring.WeightedQuickUnionUF