What AI says about MQT QCEC

MQT QCEC is a tool for quantum circuit equivalence checking, part of the Munich Quantum Toolkit. It provides multiple equivalence checking engines, including decision diagram construction, simulation-based falsification, and ZX calculus rewriting, to prove equivalence or find counterexamples.