An ABC plugin providing an exact synthesis framework for optimal switching activity.

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

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

Design Automation for Railway Systems

Service provider for the MQT on the PlanQK platform

MQT library to handle quantum circuits with mixed dimensions

Physical Simulation Engines for Silicon Dangling Bonds

Set up a specific version of the Z3 theorem prover