Graph algorithms library including topological sort, strongly connected components, and transitive closure.