Last released Jan 24, 2023
An assistant tool for the formal verification of nondeterministic quantum programs.
Last released Apr 24, 2022
A decision diagram based backend for tensor calculation, which is especially suitable for quantum circuit simulation.
Supported by
