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

Module `InterferenceGraphColoring.Dsatur`

val color : InterferenceGraph.t -> coloring