ByNobleID
    A symbolic algorithm for maximum flow in 0-1 networks | NobleID