HomeSearchLibrary
Push-relabel algorithm | OmniWiki