Chair for Design Automation, TU Munich

mqt-ddsim

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

mqt-qecc

MQT QECC - Tools for Quantum Error Correcting Codes

mqt-qmap

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

mqt-qcec

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

mqt-bench

MQT Bench - A MQT tool for Benchmarking Quantum Software Tools

mqt-predictor

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

fiction

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

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

mmft-simulator

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

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.

mnt-nanoplacer

NanoPlaceR: An open-source framework for placement and routing of Field-coupled Nanotechnologies based on reinforcement learning.

mqt

The Munich Quantum Toolkit

mqt-ion-shuttler

MQT IonShuttler generate shuttling schedules for QCCD architectures

mtct

Design Automation for Railway Systems

mnt-siqad-plugins

Physical Simulation of Atomic Silicon Quantum Dot Assemblies.

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-qudit-compression

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

setup-z3

Set up a specific version of the Z3 theorem prover

LogicBlocks

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

mnt-bench

MNT Bench - An MNT tool for Benchmarking FCN circuits

mqt-misim

MQT library to handle quantum circuits with mixed dimensions

mqt-planqk

Service provider for the MQT on the PlanQK platform

mqt-limdd

mqt-qao

mmft-iso-designer

The MMFT ISO Designer is a tool that validates and generates microfluidic chip designs conforming to the ISO 22916 standard.

mqt-workflows

A collection of reusable GitHub workflows used throughout the MQT