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

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

Design Automation for Railway Systems

Automatic Network-aware Design Optimization for Microfluidics Applied to Multiplexed Organ-on-Chip

Set up a specific version of the Z3 theorem prover

A Interface Library for SAT/SMT Abstractions written in C++

Service provider for the MQT on the PlanQK platform

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

Physical Simulation Engines for Silicon Dangling Bonds

Explore Operational Domains of SiDB logic gates