Typed symbolic expression in `PiUnit`

QuantumBFS / ZXCalculus.jl

An implementation of ZX-calculus in Julia

http://yaoquantum.org/ZXCalculus.jl/dev/

MIT License

47 stars 7 forks source link

Open ChenZhao44 opened 1 year ago

ChenZhao44 commented 1 year ago

We need to support typed symbolic expressions in PiUnit to handle potential use cases (symbolic circuit simplification).