directed_graph (pub): Generic directed graph and weighted directed graph with algorithms enabling sorting and topological ordering of vertices.
Keywords: cycle|dart|directed-acyclic-graph|directed-graph|graph|graph-theory|shortest-paths|sorting|topological-sort|vertex|vertices|weighted|weighted-graphs