module Mincut:sig
..end
Compute a minimal vertex cutset of a reducible oriented graph.
The set S
of vertices is a cutset of G
if G \ S
doesn't
contain any cycle.
Based on the article: A linear time algorithm for finding minimum
cutsets in reducible graphs by A. Shamir (1979).
module type G =sig
..end
module Make: