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

Module `InterferenceGraphColoring.Greedy`

val color : InterferenceGraph.t -> coloring