mqt.qusat.pyqusat

Module Contents

check_equivalence(circ1: mqt.core.ir.QuantumComputation, circ2: mqt.core.ir.QuantumComputation) → dict[str, Any]

generate_dimacs(circ: mqt.core.ir.QuantumComputation) → str