search

LucianoXu / NQPV

NQPV is an assistant tool for the formal verification of nondeterministic quantum programs.
Apache License 2.0
4 stars 0 forks source link

Automatic operator simplification #31

Open LucianoXu opened 2 years ago

LucianoXu commented 2 years ago

We can examine whether the operator is a result of a tensor product or a cylinder extension.