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/d2b8fe655148ca2d4536b73308597f9577a37766c4ac714df28c50f38fada882.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/c4dbb60523b5aa0e1550067c3abf915fc72a4967f4299f469ae310c54872846f.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.