Up – Index » goblint » Goblint_lib » Access » InterferenceGraphColoring » Optimal

Module `InterferenceGraphColoring.Optimal`

val color : InterferenceGraph.t -> coloring