QuantumBFS / ZXCalculus.jl

An implementation of ZX-calculus in Julia
http://yaoquantum.org/ZXCalculus.jl/dev/
MIT License
47 stars 7 forks source link

ERROR: Gate(H, Locations(1)) is not supported #80

Closed Roger-luo closed 3 years ago

Roger-luo commented 3 years ago
circuit = Chain(Gate(YaoHIR.X, Locations(1)), Gate(YaoHIR.X, Locations(1)))
bir = BlockIR(ir, 1, circuit)
bir = clifford_simplification(bir)
bir = clifford_simplification(bir)