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

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

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

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

MQT decision diagram package tailored to quantum computing

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

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.

A design automation framework to engineer decision diagrams yourself

Build serialisable flowchart-style decision trees with D3.

MQT library to handle quantum circuits with mixed dimensions

Library for Data Decision Diagrams and Set Decision Diagrams

Pure Swift library of Decision Diagrams.

pyddlib is a Python3 library for manipulating decision diagrams.

An efficient Petri net model checker using Hierarchical Set Decision Diagrams.

Discrete optimization solver based on Multi-valued Decision Diagrams

Core Guarded Action Language and Instantiable Transition System semantics using libDDD.

A generic C++14 library for Hierarchical Set Decision Diagrams.

Rust powered engine for solving Boolean satisfiability problems

A Swift wrapper to libsdd.

This is the 9th semester project for implementing the Baum-Welch (BW) algorithm using Algebraic Decision Diagrams (ADD).