sccmap decomposes digraphs into strongly connected components and an auxiliary map of the relationship between components.