scc
This package provides a library
Data.SCC
to compute strongly connected components.