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