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/0698553a3711a389d20a2c41afad657b0030c9b87e3d0e59d70ed54be8fe9c2a.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/f79a18835c8e3420474be5e4f843c437e434661a8fa02126f5fc99cf3abee5b8.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.