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), our decision diagram (DD) package, and our ZX-diagram package.

We recommend you to start with the installation instructions. Then proceed to the quickstart guide and read the reference documentation. If you are interested in the theory behind QCEC, have a look at the publications in the publication list.

We appreciate any feedback and contributions to the project. If you want to contribute, you can find more information in the Contribution guide. If you are having trouble with the installation or the usage of QCEC, please let us know at our Support page or by reaching out to us at quantum.cda@xcit.tum.de.

API Reference



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.