Welcome to QCEC’s documentation!

QCEC is a tool for quantum circuit equivalence checking developed as part of the Munich Quantum Toolkit (MQT) 1 by the Chair for Design Automation at the Technical University of Munich. It builds upon our quantum functionality representation (QFR) and our decision diagram (DD) package.

If you have any questions, feel free to contact us via quantum.cda@xcit.tum.de or by creating an issue on GitHub.



The Munich Quantum Toolkit was formerly known under the acronym JKQ [1] and developed by the Institute for Integrated Circuits at the Johannes Kepler University Linz.