The graph coloring problem we are trying to tackle here relies on two main steps: Using the Maximum Independent Set solver to return a distribution of independent sets. Use that distribution of sets ...