Clifford playground



Quantum circuit

Stabilizers

LMC lower bound (link / middle / cut, from the block-support tableau)

Bu–Fan–Joo CNOT-only bound
Gate classification