Model solving the Longest Common Subsequence problem with multiple sequences with decision diagrams
-
Updated
Jan 26, 2023 - Roff
Model solving the Longest Common Subsequence problem with multiple sequences with decision diagrams
Path Survival Probabilities as Measures of Reliability for Lifeline Utility Networks
GRAPES-DD is a parallel software for searching substructures into a graph collection by exploiting decision diagram data structures.
Capacitated Arc Routing Problem with Zero-Suppressed Binary Decision Diagram
Storage Switch System via Zero-Suppressed Binary Decision Diagram
Boolean Expressions As Rendered Diagrams
LiBDD is a multi-platform Binary Decision Diagrams package.
Branch-and-Bound with Decision Diagrams + Caching
A web app using AHP for decision making
Bottom-up sentential decision diagram compiler.
Rust powered engine for solving Boolean satisfiability problems
A generic C++14 library for Hierarchical Set Decision Diagrams.
Discrete optimization solver based on Multi-valued Decision Diagrams
pyddlib is a Python3 library for manipulating decision diagrams.
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
MQT library to handle quantum circuits with mixed dimensions
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."