Quickstart

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

[1]:

from qiskit import QuantumCircuit

qc1 = QuantumCircuit(2)
qc1.cx(0, 1)
qc1.draw(output="mpl", style="iqp")

[1]:
_images/Quickstart_2_0.svg
[2]:

from qiskit import QuantumCircuit

qc2 = QuantumCircuit(2)
qc2.h(0)
qc2.h(1)
qc2.cx(1, 0)
qc2.h(1)
qc2.h(0)
qc2.draw(output="mpl", style="iqp")

[2]:
_images/Quickstart_3_0.svg

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

[3]:

from mqt import qcec

qcec.verify(qc1, qc2)

[3]:

<EquivalenceCheckingManager.Results: equivalent>

Check out the reference documentation for more information.