Computing strongly connected components in the all different constraint currently takes ~50% of the time mostly because it creates some new data structure etc. This is also the case when switching to LightGraphs as building a graph is relatively expensive.
SCC is mostly running DFS which shouldn't be too hard if the vector di_ei can be stored in a sorted way which might be hard though.
Computing strongly connected components in the all different constraint currently takes ~50% of the time mostly because it creates some new data structure etc. This is also the case when switching to LightGraphs as building a graph is relatively expensive.
SCC is mostly running DFS which shouldn't be too hard if the vector
di_eican be stored in a sorted way which might be hard though.