CPSolver.Utils.MaximumMatching (Fixpoint v0.13.2)
Algorithms for finding maximum matching on graphs.
Link to this section Summary
Link to this section Functions
Link to this function
build_flow_network(variables)
Specs
build_flow_network([CPSolver.Common.variable_or_view()]) :: Graph.t()