mqt.qusat

MQT QuSAT library.

Submodules

• mqt.qusat.pyqusat

Package Contents

__version__: str

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

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