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]:

{
  "check_time": 0.002354002,
  "equivalence": "equivalent",
  "parameterized": {
    "performed_instantiations": 0
  },
  "preprocessing_time": 0.000244971
}

Check out the reference documentation for more information.