Equiv-check

Equivalence Checking of Quantum Circuits