Module `Graph.Nonnegative`

Weighted graphs without negative-cycles.

module Imperative : functor (G : Sig.IM) -> functor (W : Sig.WEIGHT with type edge = G.E.t) -> sig ... end

module Persistent : functor (G : Sig.P) -> functor (W : Sig.WEIGHT with type edge = G.E.t) -> sig ... end: Persistent graphs with negative-cycle prevention