Quantomatic/quantomatic — Issue #30: Matching multiple self-loops takes a LONG time
Author: akissinger
Created: 2012-03-06 13:40:42+00:00
State: open

I think there is a problem with the matching algorithm when there are !-boxes and self loops. I.e. it finds *way* too many match combos.