Access.InterferenceGraphColoring
module H : sig ... end
type coloring = Goblint_ocamlgraph__Coloring.Color.t H.t
val valid_coloring : InterferenceGraph.t -> coloring -> bool
module type Algorithm = sig ... end
module Greedy : sig ... end
module Optimal : sig ... end
module Dsatur : sig ... end
module Rlf : sig ... end