More general reasoning than g -> g1 -> g2 -> ... -> h
hmillerbakewell opened this issue · comments
e.g. being able to specify g and h then work inwards
e.g. being able to give g and h and ask if Quanto can easily get from one to another (for e.g. pulling spiders apart)
Feature request from ZXFest