Goblint_ocamlgraph
OCamlgraph library extensions which are completely independent of Goblint.
module Coloring : sig ... end
Graph coloring.