Contact

Technical University of Munich
School of Computation, Information and Technology
Chair for Design Automation
Prof. Dr. Robert Wille
Arcisstrasse 21
80333 Munich | Germany
robert.wille@tum.de
Tel: +49 89 289 23551

How To Find Us



The Chair for Design Automation is supported by the Bavarian State Ministry for Science and Arts through the Distinguished Professorship Program.

Der Lehrstuhl für Design Automation wird durch das Bayerische Staatsministerium für Wissenschaft und Kunst im Rahmen des Spitzenprofessurenprogramms gefördert.

Bavarian Coat of Arms

Munich Quantum Toolkit Logo

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