QuickstartΒΆ

Assume you want to prove that the following two circuits are equivalent:

1from qiskit import QuantumCircuit
2
3qc1 = QuantumCircuit(2)
4qc1.cx(0, 1)
5qc1.draw(output="mpl", style="iqp")
_images/7dc8f4f8cf3eaf7330de83a4499c06ca8f7b765669c340fb4800b58817147a3c.png 
1from qiskit import QuantumCircuit
2
3qc2 = QuantumCircuit(2)
4qc2.h(0)
5qc2.h(1)
6qc2.cx(1, 0)
7qc2.h(1)
8qc2.h(0)
9qc2.draw(output="mpl", style="iqp")
_images/1f80fc0dfd14e208fbe3692707958af2505be2c0c3156e04b773dcc116108925.png

Then, using QCEC to check the equivalence of these two circuits is as easy as

1from mqt import qcec
2
3qcec.verify(qc1, qc2)

<EquivalenceCheckingManager.Results: equivalent>

Check out the reference documentation for more information.