MQT QCEC - A tool for Quantum Circuit Equivalence Checking
-
Updated
Sep 6, 2024 - C++
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
DDO a generic and efficient framework for MDD-based optimization.
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
Library for Data Decision Diagrams and Set Decision Diagrams
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.
Path Survival Probabilities as Measures of Reliability for Lifeline Utility Networks
Bottom-up sentential decision diagram compiler.
MQT library to handle quantum circuits with mixed dimensions
Capacitated Arc Routing Problem with Zero-Suppressed Binary Decision Diagram
Branch-and-Bound with Decision Diagrams + Caching
An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
Boolean Expressions As Rendered Diagrams
A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
MQT decision diagram package tailored to quantum computing
Storage Switch System via Zero-Suppressed Binary Decision Diagram
Model solving the Longest Common Subsequence problem with multiple sequences with decision diagrams
GRAPES-DD is a parallel software for searching substructures into a graph collection by exploiting decision diagram data structures.
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."