Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
MQT QCEC 3.6.1 documentation
Light Logo Dark Logo
MQT QCEC 3.6.1 documentation
  • MQT QCEC - A tool for Quantum Circuit Equivalence Checking

User Guide

  • Installation
  • Quickstart
  • Quantum Circuit Equivalence Checking
  • Verifying the Results of Compilation Flows
  • Verifying Parameterized Quantum Circuits
  • Partial Equivalence Checking
  • References
  • Changelog
  • Upgrade Guide

Developers

  • Contributing
  • AI Usage Guidelines
  • Tooling
  • Support

API Reference

  • mqt.qcec
    • mqt.qcec.compilation_flow_profiles
    • mqt.qcec.configuration_options
    • mqt.qcec.parameterized
    • mqt.qcec.verify
    • mqt.qcec.verify_compilation_flow
Back to top
The 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.
MQT Funding Footer
MQT Funding Footer
Copyright © 2023 - 2026 Chair for Design Automation, TUM & 2025 - 2026 Munich Quantum Software Company