Chair for Design Automation, TU Munich

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

cda-tum

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

cda-tum

MQT QECC - Tools for Quantum Error Correcting Codes

cda-tum

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

cda-tum

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

cda-tum

MQT Bench - A MQT tool for Benchmarking Quantum Software Tools

cda-tum

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

cda-tum

MQT decision diagram package tailored to quantum computing

cda-tum

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.

cda-tum

MQT Core - The Backbone of the Munich Quantum Toolkit

cda-tum