PhD student, Inria MOCQUA
Reach the two straight wires. Select spiders or a wire, then choose an equation.
Count clockwise in quarter turns. After a full turn, the fill resets.
Crossing wires are not joined.
This game uses a subset of the ZX rules, ignoring nonzero scalar factors.
Drag nodes to move them, or use arrow keys on a focused node.
Undo: Ctrl/Cmd+Z. Reset: R. In Custom/Random, choose Create puzzle to build from the identity, then Play puzzle.
An introduction to ZX-calculus
Practice completed.