Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
QCEC 2.8.1 documentation
Light Logo Dark Logo
QCEC 2.8.1 documentation
  • Welcome to QCEC’s documentation!

User Guide

  • Installation
  • Quickstart
  • Quantum Circuit Equivalence Checking
  • Verifying the Results of Compilation Flows
  • Verifying Parameterized Quantum Circuits
  • Partial Equivalence Checking
  • Publications

Developers

  • Contributing
  • Development Guide
  • Support

API Reference

  • Library
    • Verify
    • Verify Compilation
    • Equivalence Checking Manager
    • Configuration
      • Execution
      • Optimizations
      • Application
      • Functionality
      • Simulation
      • Parameterized
    • Application Scheme
    • State Types for Simulation
    • Notions of Equivalence
    • Results
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.
TUM Logo
TUM Logo
Coat of Arms of Bavaria
ERC Logo
ERC Logo
MQV Logo