CPLIB_GRAPH_TOPOLOGICALSORT = 1
proc isDAG(G: DirectedGraph): bool
proc topologicalsort(G: DirectedGraph): seq[int]