mqt

MQT QECC - Tools for Quantum Error Correcting Codes

MQT DDSIM - A Quantum Circuit Simulator Based on Decision Diagrams

MQT QMAP - A Tool for Quantum Circuit Mapping

MQT Core - The Backbone of the Munich Quantum Toolkit

MQT Bench - A Tool for Benchmarking Quantum Software Tools

MQT QCEC - A Tool for Quantum Circuit Equivalence Checking

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

MQT ProblemSolver - A Tool for Solving Problems Using Quantum Computing

MQT YAQS - A Tool for Simulating Open Quantum Systems, Noisy Quantum Circuits, and Realistic Quantum Hardware

MQT Qudits - A Framework For Mixed-Dimensional Qudit Quantum Computing

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

MQT IonShuttler - A Tool for Generating Shuttling Schedules for Trapped-Ion Quantum Computers

The Munich Quantum Toolkit

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

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.

MQT Debugger - A Semi-automated Tool for Debugging Quantum Programs

MQT ZX - A library for working with ZX-diagrams

MQT NAViz - A Visualizer for Neutral Atom Quantum Computers

A collection of reusable GitHub workflows used throughout the MQT

An MLIR Plugin for Connecting MQT Core With Xanadu’s Catalyst