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

Set up a specific version of the Z3 theorem prover

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

Physical Simulation Engines for Silicon Dangling Bonds

Service provider for the MQT on the PlanQK platform

Design Automation for Railway Systems

MQT library to handle quantum circuits with mixed dimensions

Explore Operational Domains of SiDB logic gates

Code for the paper "Routing Techniques for Error Corrected Silicon Spin Qubit Quantum Architectures"