Descrição
Circuitos quânticos podem ser reescritos e otimizados usando métodos de ZX-calculus. Pesquisadores de computação quântica usam PyZX em simplificação de circuitos, verificação, visualização e experimentos de compilador. Resultados devem ser validados contra a semântica quântica pretendida.