are_isomorphic and canonicalize should also consider reorderings of acceptance sets
For instance
HOA: v1
States: 2
Start: 0
Acceptance: 2 Inf(0)&Inf(1)
--BODY--
State: 0 {0} [t] 1
State: 1 {1} [t] 0
--END--should be considered as isomorphic to
HOA: v1
States: 2
Start: 0
Acceptance: 2 Inf(0)&Inf(1)
--BODY--
State: 0 {1} [t] 1
State: 1 {0} [t] 0
--END--since we just flipped the acceptance set numbers.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information