MQT IonShuttler - generate shuttling schedules for QCCD architectures

A tool that generates a microfluidic chip or channel design for trapping spheroids.

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

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

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

Service provider for the MQT on the PlanQK platform

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

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

Set up a specific version of the Z3 theorem prover