HomeSearchLibrary
Single source shortest path problem | OmniWiki