decision-diagrams
There are 1 repository under decision-diagrams topic.
cda-tum / mqt-ddsim
MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
Language:C++ 120- Language:C++ 86
- Language:Rust 54
tangentstorm / bex
A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
Language:Rust 31MQT decision diagram package tailored to quantum computing
Language:C++ 27qcappart / learning-DD
Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".
Language:C++ 24MQT 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.
Language:JavaScript 18danwild / decision-tree-builder
Build serialisable flowchart-style decision trees with D3.
Language:JavaScript 17- Language:C++ 10
- Language:C++ 9
- Language:Swift 9
- Language:C++ 8
lip6 / libITS
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
Language:C++ 7- Language:C++ 6
thiagopbueno / pyddlib
pyddlib is a Python3 library for manipulating decision diagrams.
Language:Python 6vcoppe / mdd-solver
Discrete optimization solver based on Multi-valued Decision Diagrams
Language:Java 6- Language:Rust 5
- Language:Rust 4
- Language:C++ 4
nusic / doctor-decision
A web app using AHP for decision making
Language:JavaScript 2- Language:Verilog 1
- Language:C++ 1
Branch-and-Bound with Decision Diagrams + Caching
Language:Roff 1- Language:C 1
briangodwinlim / CARP-ZDD
Capacitated Arc Routing Problem with Zero-Suppressed Binary Decision Diagram
Language:C++ 0Path Survival Probabilities as Measures of Reliability for Lifeline Utility Networks
Language:C++ 0Storage Switch System via Zero-Suppressed Binary Decision Diagram
Language:C++ 0pedrosbmartins / beard
Boolean Expressions As Rendered Diagrams
Language:TypeScript 0dd-user / grapes-dd
GRAPES-DD is a parallel software for searching substructures into a graph collection by exploiting decision diagram data structures.
Language:C++- Language:Python
Model solving the Longest Common Subsequence problem with multiple sequences with decision diagrams
Language:Roff
