APIs

unitary_reconstruction(qc_dynamic::MainProgram)::MainProgram

Reconstructs a unitary quantum circuit from a dynamic quantum circuit

validate_state(upper::Vector{Any}, lower::Vector{Any})

The combined StateVector needs to be a Set

TODO Check if the the states are increase by one