The main function for checking the equivalence of two quantum circuits using QCEC is the verify() method.

verify(circ1, circ2, configuration=None, **kwargs)[source]

Verify that circ1 and circ2 are equivalent.

Wraps creating an instance of EquivalenceCheckingManager, calling, and calling EquivalenceCheckingManager.get_results().

There are two (non-exclusive) ways of configuring the equivalence checking process:

  1. Pass a Configuration instance as the configuration argument.

2. Pass keyword arguments to this function. These are directly incorporated into the Configuration. Any existing configuration is overridden by keyword arguments.


Results – The results of the equivalence checking process.