The Munich Quantum Toolkit (MQT) is a collection of design automation tools and software for quantum computing developed at the Chair for Design Automation at the Technical University of Munich. Our overarching objective is to provide solutions for design tasks across the entire quantum software stack. This entails high-level support for end users in realizing their Applications as well as efficient methods for the Simulation, Compilation, and Verification of quantum circuits. Reaching towards the hardware level, we also consider Quantum Error Correction tools and Physical Design considerations. In all these tools we try to utilize Data Structures and Core Methods facilitating the efficient handling of quantum computations. For a comprehensive visual depiction of the MQT tools, we invite you to download our MQT Flyer.
All of the developed tools are available as open source and are hosted on GitHub.
The following gives an overview of all repositories, ordered along the quantum software stack from high-level Applications to Physical Design.
Application
MQT ProblemSolver
pip install mqt.problemsolver
A Tool for Solving Problems Using Quantum Computing
MQT Bench
pip install mqt.bench
A Quantum Circuit Benchmark Suite
Simulation
MQT DDSIM
pip install mqt.ddsim
A Tool for Classical Quantum Circuit Simulation based on Decision Diagrams
Compilation
MQT Predictor
pip install mqt.predictor
A Tool for Determining Good Quantum Circuit Compilation Options
MQT SyReC
pip install mqt.syrec
A Tool for the Synthesis of Reversible Circuits/Quantum Computing Oracles
MQT QMAP
pip install mqt.qmap
A Tool for Quantum Circuit Mapping
MQT IonShuttler
A Tool for Generating Shuttling Schedules for QCCD Architectures
MQT Qudits
A Tool for Adaptive Compilation of Multi-Level Quantum Operations
MQT Qudits
A Tool for Compilation of Entangling Gates for High-Dimensional Quantum Systems
Verification
MQT QCEC
pip install mqt.qcec
A Tool for Quantum Circuit Equivalence Checking
Quantum Error Correction
MQT QECC
pip install mqt.qecc
A Tool for Quantum Error Correcting Codes
Data Structures and Core Methods
MQT DDPackage
A Decision Diagram Package for Quantum Computing
MQT DDVis
A Web-Application Visualizing Decision Diagrams for Quantum Computing
MQT QFR
An Intermediate Representation for Quantum Computing Circuits and Computations
MQT LogicBlocks
An Interface Library for SAT/SMT Abstractions
MQT ZX
A ZX-Calculus Package
MQT QuSAT
pip install mqt.qusat
A Tool for Encoding Quantum Computing using Satisfiability Testing (SAT) Techniques