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

MQT QECC - Tools for Quantum Error Correcting Codes

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

MQT Quantum Auto Optimizer - A MQT Tool for Solving Optimization Problems with Quantum Computers

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

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

Service provider for the MQT on the PlanQK platform

Set up a specific version of the Z3 theorem prover

Physical Simulation Engines for Silicon Dangling Bonds

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