Use set instead of list for arcs_executed, fixes poor performance#1901
Merged
nedbat merged 2 commits intonedbat:masterfrom Dec 4, 2024
Merged
Use set instead of list for arcs_executed, fixes poor performance#1901nedbat merged 2 commits intonedbat:masterfrom
nedbat merged 2 commits intonedbat:masterfrom
