{"id":28193938,"url":"https://github.com/munich-quantum-toolkit/qcec","last_synced_at":"2026-02-02T19:03:39.792Z","repository":{"id":37056196,"uuid":"231376804","full_name":"munich-quantum-toolkit/qcec","owner":"munich-quantum-toolkit","description":"MQT QCEC - A tool for Quantum Circuit Equivalence Checking","archived":false,"fork":false,"pushed_at":"2025-05-05T09:11:57.000Z","size":4764,"stargazers_count":95,"open_issues_count":11,"forks_count":22,"subscribers_count":5,"default_branch":"main","last_synced_at":"2025-05-05T09:56:38.383Z","etag":null,"topics":["cpp17","decision-diagrams","equivalence-checker","jku","mqt","python","quantum-circuits","quantum-computing","tum","verification","zx-calculus"],"latest_commit_sha":null,"homepage":"https://mqt.readthedocs.io/projects/qcec","language":"C++","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/munich-quantum-toolkit.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":".github/contributing.md","funding":null,"license":"LICENSE.md","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":".github/support.md","governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2020-01-02T12:23:35.000Z","updated_at":"2025-05-05T09:02:16.000Z","dependencies_parsed_at":"2023-07-19T05:10:14.434Z","dependency_job_id":"a9729d54-5c7e-4327-ad1b-261603a36704","html_url":"https://github.com/munich-quantum-toolkit/qcec","commit_stats":{"total_commits":871,"total_committers":10,"mean_commits":87.1,"dds":0.6084959816303099,"last_synced_commit":"cbd5dc2e3e9c18a0dce9838a7d86476fb6aa34e8"},"previous_names":["cda-tum/mqt-qcec","cda-tum/qcec","munich-quantum-toolkit/qcec"],"tags_count":60,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/munich-quantum-toolkit%2Fqcec","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/munich-quantum-toolkit%2Fqcec/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/munich-quantum-toolkit%2Fqcec/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/munich-quantum-toolkit%2Fqcec/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/munich-quantum-toolkit","download_url":"https://codeload.github.com/munich-quantum-toolkit/qcec/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":254535828,"owners_count":22087399,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["cpp17","decision-diagrams","equivalence-checker","jku","mqt","python","quantum-circuits","quantum-computing","tum","verification","zx-calculus"],"created_at":"2025-05-16T13:08:24.435Z","updated_at":"2026-02-02T19:03:39.781Z","avatar_url":"https://github.com/munich-quantum-toolkit.png","language":"C++","funding_links":["https://github.com/sponsors/munich-quantum-toolkit"],"categories":[],"sub_categories":[],"readme":"[![PyPI](https://img.shields.io/pypi/v/mqt.qcec?logo=pypi\u0026style=flat-square)](https://pypi.org/project/mqt.qcec/)\n![OS](https://img.shields.io/badge/os-linux%20%7C%20macos%20%7C%20windows-blue?style=flat-square)\n[![License: MIT](https://img.shields.io/badge/license-MIT-blue.svg?style=flat-square)](https://opensource.org/licenses/MIT)\n[![CI](https://img.shields.io/github/actions/workflow/status/munich-quantum-toolkit/qcec/ci.yml?branch=main\u0026style=flat-square\u0026logo=github\u0026label=ci)](https://github.com/munich-quantum-toolkit/qcec/actions/workflows/ci.yml)\n[![CD](https://img.shields.io/github/actions/workflow/status/munich-quantum-toolkit/qcec/cd.yml?style=flat-square\u0026logo=github\u0026label=cd)](https://github.com/munich-quantum-toolkit/qcec/actions/workflows/cd.yml)\n[![Documentation](https://img.shields.io/readthedocs/qcec?logo=readthedocs\u0026style=flat-square)](https://mqt.readthedocs.io/projects/qcec)\n[![codecov](https://img.shields.io/codecov/c/github/munich-quantum-toolkit/qcec?style=flat-square\u0026logo=codecov)](https://codecov.io/gh/munich-quantum-toolkit/qcec)\n\n\u003cp align=\"center\"\u003e\n  \u003ca href=\"https://mqt.readthedocs.io\"\u003e\n    \u003cpicture\u003e\n      \u003csource media=\"(prefers-color-scheme: dark)\" srcset=\"https://raw.githubusercontent.com/munich-quantum-toolkit/.github/refs/heads/main/docs/_static/mqt-banner-dark.svg\" width=\"90%\"\u003e\n      \u003cimg src=\"https://raw.githubusercontent.com/munich-quantum-toolkit/.github/refs/heads/main/docs/_static/mqt-banner-light.svg\" width=\"90%\" alt=\"MQT Banner\"\u003e\n    \u003c/picture\u003e\n  \u003c/a\u003e\n\u003c/p\u003e\n\n# MQT QCEC - A tool for Quantum Circuit Equivalence Checking\n\nA tool for quantum circuit equivalence checking developed as part of the [_Munich Quantum Toolkit (MQT)_](https://mqt.readthedocs.io).\nIt builds upon [MQT Core](https://github.com/munich-quantum-toolkit/core), which forms the backbone of the MQT.\n\n\u003cp align=\"center\"\u003e\n  \u003ca href=\"https://mqt.readthedocs.io/projects/qcec\"\u003e\n  \u003cimg width=30% src=\"https://img.shields.io/badge/documentation-blue?style=for-the-badge\u0026logo=read%20the%20docs\" alt=\"Documentation\" /\u003e\n  \u003c/a\u003e\n\u003c/p\u003e\n\n## Key Features\n\n- Comprehensive equivalence checking engines: [Decision-diagram construction](https://mqt.readthedocs.io/projects/qcec/en/latest/equivalence_checking.html#construction-equivalence-checker-using-decision-diagrams), [Alternating DD](https://mqt.readthedocs.io/projects/qcec/en/latest/equivalence_checking.html#alternating-equivalence-checker-using-decision-diagrams), [Simulation-based falsification](https://mqt.readthedocs.io/projects/qcec/en/latest/equivalence_checking.html#simulation-equivalence-checker-using-decision-diagrams), and [ZX-calculus rewriting](https://mqt.readthedocs.io/projects/qcec/en/latest/equivalence_checking.html#zx-calculus-equivalence-checker)—coordinated in an automated [equivalence checking flow](https://mqt.readthedocs.io/projects/qcec/en/latest/equivalence_checking.html#resulting-equivalence-checking-flow) to prove equivalence or quickly find counterexamples.\n- Compilation flow verification: validate transpiled/compiled circuits incl. layout permutations and measurements. [Guide](https://mqt.readthedocs.io/projects/qcec/en/latest/compilation_flow_verification.html)\n- Parameterized circuits: prove or refute equivalence with symbolic parameters. [Guide](https://mqt.readthedocs.io/projects/qcec/en/latest/parametrized_circuits.html)\n- Partial equivalence: compare measured output distributions, handling ancillary and garbage qubits. [Guide](https://mqt.readthedocs.io/projects/qcec/en/latest/partial_equivalence.html)\n- Python-first API and Qiskit integration: pass `QuantumCircuit` or OpenQASM; one-call `verify()` or `verify_compilation()`. [Quickstart](https://mqt.readthedocs.io/projects/qcec/en/latest/quickstart.html) • [API](https://mqt.readthedocs.io/projects/qcec/en/latest/api/mqt/qcec/index.html)\n- Efficient and portable: C++20 core with DD engines and ZX backend, prebuilt wheels for Linux/macOS/Windows via [PyPI](https://pypi.org/project/mqt.qcec/).\n\nIf you have any questions, feel free to create a [discussion](https://github.com/munich-quantum-toolkit/qcec/discussions) or an [issue](https://github.com/munich-quantum-toolkit/qcec/issues) on [GitHub](https://github.com/munich-quantum-toolkit/qcec).\n\n## Contributors and Supporters\n\nThe _[Munich Quantum Toolkit (MQT)](https://mqt.readthedocs.io)_ is developed by the [Chair for Design Automation](https://www.cda.cit.tum.de/) at the [Technical University of Munich](https://www.tum.de/) and supported by the [Munich Quantum Software Company (MQSC)](https://munichquantum.software).\nAmong others, it is part of the [Munich Quantum Software Stack (MQSS)](https://www.munich-quantum-valley.de/research/research-areas/mqss) ecosystem, which is being developed as part of the [Munich Quantum Valley (MQV)](https://www.munich-quantum-valley.de) initiative.\n\n\u003cp align=\"center\"\u003e\n  \u003cpicture\u003e\n    \u003csource media=\"(prefers-color-scheme: dark)\" srcset=\"https://raw.githubusercontent.com/munich-quantum-toolkit/.github/refs/heads/main/docs/_static/mqt-logo-banner-dark.svg\" width=\"90%\"\u003e\n    \u003cimg src=\"https://raw.githubusercontent.com/munich-quantum-toolkit/.github/refs/heads/main/docs/_static/mqt-logo-banner-light.svg\" width=\"90%\" alt=\"MQT Partner Logos\"\u003e\n  \u003c/picture\u003e\n\u003c/p\u003e\n\nThank you to all the contributors who have helped make MQT QCEC a reality!\n\n\u003cp align=\"center\"\u003e\n  \u003ca href=\"https://github.com/munich-quantum-toolkit/qcec/graphs/contributors\"\u003e\n  \u003cimg src=\"https://contrib.rocks/image?repo=munich-quantum-toolkit/qcec\" alt=\"Contributors to munich-quantum-toolkit/qcec\" /\u003e\n  \u003c/a\u003e\n\u003c/p\u003e\n\nThe MQT will remain free, open-source, and permissively licensed—now and in the future.\nWe are firmly committed to keeping it open and actively maintained for the quantum computing community.\n\nTo support this endeavor, please consider:\n\n- Starring and sharing our repositories: https://github.com/munich-quantum-toolkit\n- Contributing code, documentation, tests, or examples via issues and pull requests\n- Citing the MQT in your publications (see [Cite This](#cite-this))\n- Citing our research in your publications (see [References](https://mqt.readthedocs.io/projects/qcec/en/latest/references.html))\n- Using the MQT in research and teaching, and sharing feedback and use cases\n- Sponsoring us on GitHub: https://github.com/sponsors/munich-quantum-toolkit\n\n\u003cp align=\"center\"\u003e\n  \u003ca href=\"https://github.com/sponsors/munich-quantum-toolkit\"\u003e\n  \u003cimg width=20% src=\"https://img.shields.io/badge/Sponsor-white?style=for-the-badge\u0026logo=githubsponsors\u0026labelColor=black\u0026color=blue\" alt=\"Sponsor the MQT\" /\u003e\n  \u003c/a\u003e\n\u003c/p\u003e\n\n## Getting Started\n\nMQT QCEC is available via [PyPI](https://pypi.org/project/mqt.qcec/).\n\n```console\n(venv) $ pip install mqt.qcec\n```\n\nThe following code gives an example on the usage:\n\n```python3\nfrom mqt import qcec\n\n# verify the equivalence of two circuits provided as qasm files\nresult = qcec.verify(\"circ1.qasm\", \"circ2.qasm\")\n\n# print the result\nprint(result.equivalence)\n```\n\n**Detailed documentation and examples are available at [ReadTheDocs](https://mqt.readthedocs.io/projects/qcec).**\n\n## System Requirements and Building\n\nBuilding the project requires a C++ compiler with support for C++20 and CMake 3.24 or newer.\nFor details on how to build the project, please refer to the [documentation](https://mqt.readthedocs.io/projects/qcec).\nBuilding (and running) is continuously tested under Linux, macOS, and Windows using the [latest available system versions for GitHub Actions](https://github.com/actions/runner-images).\nMQT QCEC is compatible with all [officially supported Python versions](https://devguide.python.org/versions/).\n\n## Cite This\n\nPlease cite the work that best fits your use case.\n\n### MQT QCEC (the tool)\n\nWhen citing the software itself or results produced with it, cite the MQT QCEC paper:\n\n```bibtex\n@article{burgholzerQCECJKQTool2021,\n  title        = {{{QCEC}}: {{A JKQ}} tool for quantum circuit equivalence checking},\n  author       = {Burgholzer, Lukas and Wille, Robert},\n  year         = 2021,\n  month        = feb,\n  journal      = {Software Impacts},\n  doi          = {10.1016/j.simpa.2020.100051}\n}\n```\n\n### The Munich Quantum Toolkit (the project)\n\nWhen discussing the overall MQT project or its ecosystem, cite the MQT Handbook:\n\n```bibtex\n@inproceedings{mqt,\n  title        = {The {{MQT}} Handbook: {{A}} Summary of Design Automation Tools and Software for Quantum Computing},\n  shorttitle   = {{The MQT Handbook}},\n  author       = {Wille, Robert and Berent, Lucas and Forster, Tobias and Kunasaikaran, Jagatheesan and Mato, Kevin and Peham, Tom and Quetschlich, Nils and Rovara, Damian and Sander, Aaron and Schmid, Ludwig and Schoenberger, Daniel and Stade, Yannick and Burgholzer, Lukas},\n  year         = 2024,\n  booktitle    = {IEEE International Conference on Quantum Software (QSW)},\n  doi          = {10.1109/QSW62656.2024.00013},\n  eprint       = {2405.17543},\n  eprinttype   = {arxiv},\n  addendum     = {A live version of this document is available at \\url{https://mqt.readthedocs.io}}\n}\n```\n\n### Peer-Reviewed Research\n\nWhen citing the underlying methods and research, please reference the most relevant peer-reviewed publications from the list below:\n\n[[1]](https://arxiv.org/pdf/2004.08420.pdf) L. Burgholzer and R. Wille. Advanced Equivalence Checking for Quantum Circuits. _IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)_, 2021.\n\n[[2]](https://arxiv.org/pdf/2009.02376.pdf) L. Burgholzer, R. Raymond, and R. Wille. Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow. In _IEEE International Conference on Quantum Computing and Engineering (QCE)_, 2020.\n\n[[3]](https://arxiv.org/pdf/2011.07288.pdf) L. Burgholzer, R. Kueng, and R. Wille. Random Stimuli Generation for the Verification of Quantum Circuits. In _Asia and South Pacific Design Automation Conference (ASP-DAC)_, 2021.\n\n[[4]](https://arxiv.org/pdf/2106.01099.pdf) L. Burgholzer and R. Wille. Handling Non-Unitaries in Quantum Circuit Equivalence Checking. In _Design Automation Conference (DAC)_, 2022.\n\n[[5]](https://arxiv.org/pdf/2208.12820.pdf) T. Peham, L. Burgholzer, and R. Wille. Equivalence Checking of Quantum Circuits with the ZX-Calculus. _IEEE Journal on Emerging and Selected Topics in Circuits and Systems (JETCAS)_, 2022.\n\n[[6]](https://arxiv.org/pdf/2210.12166.pdf) T. Peham, L. Burgholzer, and R. Wille. Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. In _Asia and South Pacific Design Automation Conference (ASP-DAC)_, 2023.\n\n---\n\n## Acknowledgements\n\nThe Munich Quantum Toolkit has been supported by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation program (grant agreement No. 101001318), the Bavarian State Ministry for Science and Arts through the Distinguished Professorship Program, as well as the Munich Quantum Valley, which is supported by the Bavarian state government with funds from the Hightech Agenda Bayern Plus.\n\n\u003cp align=\"center\"\u003e\n  \u003cpicture\u003e\n    \u003csource media=\"(prefers-color-scheme: dark)\" srcset=\"https://raw.githubusercontent.com/munich-quantum-toolkit/.github/refs/heads/main/docs/_static/mqt-funding-footer-dark.svg\" width=\"90%\"\u003e\n    \u003cimg src=\"https://raw.githubusercontent.com/munich-quantum-toolkit/.github/refs/heads/main/docs/_static/mqt-funding-footer-light.svg\" width=\"90%\" alt=\"MQT Funding Footer\"\u003e\n  \u003c/picture\u003e\n\u003c/p\u003e\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmunich-quantum-toolkit%2Fqcec","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmunich-quantum-toolkit%2Fqcec","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmunich-quantum-toolkit%2Fqcec/lists"}