Welcome to QCEC’s documentation!#

QCEC is a tool for quantum circuit equivalence checking developed as part of the Munich Quantum Toolkit (MQT) by the Chair for Design Automation at the Technical University of Munich. It builds upon MQT Core, which forms the backbone of the MQT.

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.


API Reference