Open gkirgizov opened 1 year ago
During optimization structural id is computed several times per graph. Maybe we should do better.
One idea is memoization: compute id once and store. If graph changes -- reset cached id.
Can make #131 faster.
During optimization structural id is computed several times per graph. Maybe we should do better.
One idea is memoization: compute id once and store. If graph changes -- reset cached id.
Can make #131 faster.