Chair for Design Automation, TU Munich

mqt-ddsim

MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++

mqt-qcec

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

mqt-qmap

MQT QMAP - A tool for Quantum Circuit Mapping written in C++

mqt-qecc

MQT QECC - Tools for Quantum Error Correcting Codes

mqt-bench

MQT Bench - A MQT tool for Benchmarking Quantum Software Tools

fiction

An open-source design automation framework for Field-coupled Nanotechnologies

mqt-predictor

MQT Predictor - A MQT tool for Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing

mqt-core

MQT Core - The Backbone of the Munich Quantum Toolkit

mqt-problemsolver

MQT ProblemSolver - A MQT tool for Solving Problems Using Quantum Computing

mqt-syrec

SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits

mqt-ddvis

MQT DDVis - An installation-free web-tool which visualizes quantum decision diagrams and allows to explore their behavior when used in design tasks such as simulation, synthesis, or verification.

mmft-simulator

A library that contains a collection of simulators for closed channel-based microfluidic devices.

mqt-qusat

MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing

mqt-qudit-compilation

mqt

The Munich Quantum Toolkit

mqt-dasqa

MQT DASQA - Designer for Superconducting Quantum Architectures

mqt-qudit-entanglement-compilation

mnt-siqad-plugins

Physical Simulation of Atomic Silicon Quantum Dot Assemblies.

mqt-ion-shuttler

MQT IonShuttler generate shuttling schedules for QCCD architectures

mtct

Design Automation for Railway Systems

setup-z3

Set up a specific version of the Z3 theorem prover

mnt-bench

MNT Bench - An MNT tool for Benchmarking FCN circuits

mqt-misim

MQT library to handle quantum circuits with mixed dimensions

mqt-qudit-compression

A tool for mapping qubits on a qudit architecture of preferred size

LogicBlocks

A Interface Library for SAT/SMT Abstractions written in C++

mqt-planqk

Service provider for the MQT on the PlanQK platform

mqt-qubomaker

A framework for the automatic generation of QUBO formulations for optimization problems.

mqt-qudits

A Framework For Mixed-Dimensional Qudit Quantum Computing

mmft-ooc-designer

Design automation solution for organs-on-chip.

mqt-limdd