cda-tum/da_etcs

Stars
11
Rank 1,694,829 (Top 34 %)
Language
C++
License
MIT License
Created over 2 years ago
Updated over 2 years ago

cda-tum/da_etcs

cda-tum

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Design Automation Toolkit for the European Train Control System

mqt-ddsim

MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++

mqt-qmap

MQT QMAP - A tool for Quantum Circuit Mapping written in C++

mqt-qcec

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

mqt-bench

MQT Bench - A MQT Tool for Benchmarking Quantum Software Tools

mqt-qecc

MQT QECC - Tools for Quantum Error Correcting Codes

fiction

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

mqt-core

MQT Core - The Backbone of the Munich Quantum Toolkit

mqt-predictor

MQT Predictor - A MQT tool for Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing

dd_package

MQT decision diagram package tailored to quantum computing

mqt-problemsolver

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

mqt-ddvis

MQT DDVis - An installation-free web-tool which visualizes quantum decision diagrams and allows to explore their behavior when used in design tasks such as simulation, synthesis, or verification.

zx

MQT ZX - A library for working with ZX-diagrams

mnt-nanoplacer

NanoPlaceR: An open-source framework for placement and routing of Field-coupled Nanotechnologies based on reinforcement learning.

syrec

SyReC Synthesizer - An MQT Tool for the Synthesis of Reversible Circuits

mmft-simulator

A simulator for closed channel-based microfluidic devices.

mnt-bestagon-library

Design, layout, and simulation files of the paper "Hexagons are the Bestagons: Design Automation for Silicon Dangling Bond Logic" by M. Walter, S. S. H. Ng, K. Walus, and R. Wille in DAC 2022.

mqt-dasqa

MQT DASQA - Designer for Superconducting Quantum Architectures

mqt-qudit-compilation

mtct

Design Automation for Railway Systems

mqt-qudit-entanglement-compilation

mmft-droplet-simulator

mqt-qusat

MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing

mnt-siqad-plugins

Physical Simulation of Atomic Silicon Quantum Dot Assemblies.

mqt-misim

MQT library to handle quantum circuits with mixed dimensions

LogicBlocks

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

mmft-fuel-cell

The source code for simulating microfluidic fuel cell (MFFC) performance.

mqt-qudit-compression

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

setup-z3

Set up a specific version of the Z3 theorem prover

ion-shuttler

MQT IonShuttler generate shuttling schedules for QCCD architectures

sidb-layouts-quicksim-validation

Layout and simulation files of the paper "QuickSim: Efficient and Accurate Physical Simulation of Silicon Dangling Bond Logic" by J. Drewniok, M. Walter, S. S. H. Ng, K. Walus, and R. Wille.

mqt-planqk

Service provider for the MQT on the PlanQK platform

mnt-operational-domains