The Munich Quantum Toolkit#
The Munich Quantum Toolkit (MQT) is a collection of design automation tools and software for quantum computing developed by 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.
Overview of Tools#
The following gives an overview of all repositories, ordered along the quantum software stack from high-level Applications to Physical Design.
Application#
A Quantum Circuit Benchmark Suite
(venv) $ pip install mqt.bench
A Tool for Solving Problems Using Quantum Computing
(venv) $ pip install mqt.problemsolver
Simulation#
A Tool for Classical Quantum Circuit Simulation based on Decision Diagrams
(venv) $ pip install mqt.ddsim
Compilation#
A Tool for Determining Good Quantum Circuit Compilation Options
(venv) $ pip install mqt.predictor
A Tool for Quantum Circuit Mapping
(venv) $ pip install mqt.qmap
A Tool for Generating Shuttling Schedules for QCCD Architectures
A Tool for Adaptive Compilation of Multi-Level Quantum Operations and Entangling Gates for High-Dimensional Quantum Systems
A Tool for the Synthesis of Reversible Circuits/Quantum Computing Oracles
(venv) $ pip install mqt.syrec
Verification#
A Tool for Quantum Circuit Equivalence Checking
(venv) $ pip install mqt.qcec
Quantum Error Correction#
A Tool for Quantum Error Correcting Codes
(venv) $ pip install mqt.qecc
Data Structures and Core Methods#
The Backbone of the Munich Quantum Toolkit.
Quantum IR | DD Package | ZX Package
A Web-Application Visualizing Decision Diagrams for Quantum Computing
An Interface Library for SAT/SMT Abstractions
A Tool for Encoding Quantum Computing using Satisfiability Testing (SAT) Techniques
(venv) $ pip install mqt.qusat
Stats#
GitHub Information#
Projekt |
latest version |
forks |
stars |
|---|---|---|---|
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
PyPI Downloads#
Projekt |
latest version |
weekly |
monthly |
total |
|---|---|---|---|---|
