mqt.qcec.verify

The main entry point for the QCEC package.

Functions

verify(...)

Verify that circ1 and circ2 are equivalent.

Module Contents

verify(circ1: mqt.core.ir.QuantumComputation | str | PathLike[str] | QuantumCircuit, circ2: mqt.core.ir.QuantumComputation | str | PathLike[str] | QuantumCircuit, configuration: mqt.qcec.pyqcec.Configuration | None = None, **kwargs: Unpack[ConfigurationOptions]) → mqt.qcec.pyqcec.EquivalenceCheckingManager.Results[source]

Verify that circ1 and circ2 are equivalent.

Wraps creating an instance of EquivalenceCheckingManager, calling EquivalenceCheckingManager.run(), and returning EquivalenceCheckingManager.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.

Parameters:

  • circ1 – The first circuit.

  • circ2 – The second circuit.

  • configuration – The configuration to use for the equivalence checking process.

  • **kwargs – Keyword arguments to configure the equivalence checking process.

Returns:

The results of the equivalence checking process.