invariants.core.algo
This data structure performs dynamic topological sort on DAG the topological sort can be performed either from scratch or maintained incrementally.