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.