decision-diagrams topic

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

cda-tum

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

cda-tum

Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".

qcappart

Build serialisable flowchart-style decision trees with D3.

danwild

DDO a generic and efficient framework for MDD-based optimization.

xgillard

A rust crate for boolean expressions (expression trees, decision diagrams, etc.)

tangentstorm

MQT decision diagram package tailored to quantum computing

cda-tum

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.

cda-tum