MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
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 library to handle quantum circuits with mixed dimensions
Library for Data Decision Diagrams and Set Decision Diagrams
An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
A generic C++14 library for Hierarchical Set Decision Diagrams.
Path Survival Probabilities as Measures of Reliability for Lifeline Utility Networks
Capacitated Arc Routing Problem with Zero-Suppressed Binary Decision Diagram
GRAPES-DD is a parallel software for searching substructures into a graph collection by exploiting decision diagram data structures.
Storage Switch System via Zero-Suppressed Binary Decision Diagram
DDD - Decision Diagram Distributor Project where we are using LAN cluster with Open MPI to calculate wide scale decision diagrams which will be preocessed by a TeDDy library (link to this library in the attachment). This project is inspired by my previous project BDD_Distributor which is public too.
Add a description, image, and links to the decision-diagrams topic page so that developers can more easily learn about it.
To associate your repository with the decision-diagrams topic, visit your repo's landing page and select "manage topics."