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.
Rust powered engine for solving Boolean satisfiability problems
Capacitated Arc Routing Problem with Zero-Suppressed Binary Decision Diagram
Bottom-up sentential decision diagram compiler.
Storage Switch System via Zero-Suppressed Binary Decision Diagram
Branch-and-Bound with Decision Diagrams + Caching
Boolean Expressions As Rendered Diagrams
LiBDD is a multi-platform Binary Decision Diagrams package.
MQT library to handle quantum circuits with mixed dimensions
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 generic C++14 library for Hierarchical Set Decision Diagrams.
A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
A web app using AHP for decision making
pyddlib is a Python3 library for manipulating decision diagrams.
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."