Synthesis Results

This class captures additional results from the synthesize_clifford() and the optimize_clifford() method.

class SynthesisResults

Results of the MQT QMAP Clifford synthesis tool.

property circuit

Returns the synthesized circuit as a qasm string.

property depth

Returns the depth of the synthesized circuit.

property gates

Returns the number of gates in the circuit.

property runtime

Returns the runtime of the synthesis in seconds.

sat(self: mqt.qmap.pyqmap.SynthesisResults) → bool

Returns true if the synthesis was successful.

property single_qubit_gates

Returns the number of single-qubit gates in the synthesized circuit.

property solver_calls

Returns the number of calls to the SAT solver.

property tableau

Returns a string representation of the synthesized circuit’s tableau.

property two_qubit_gates

Returns the number of two-qubit gates in the synthesized circuit.

unsat(self: mqt.qmap.pyqmap.SynthesisResults) → bool

Returns true if the synthesis was unsuccessful.