Module Goblint_ocamlgraph.Coloring

Graph coloring.

See also Graph.Coloring.

module Color = Stdlib.Int

Colors are positive integers.

module ColorSet : sig ... end
module Make (G : Graph.Coloring.G) : sig ... end