Concurrent decision diagram framework written in Rust
-
Updated
Jun 6, 2024 - Rust
Concurrent decision diagram framework written in Rust
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
An I/O-efficient implementation of (Binary) Decision Diagrams
University of California BDD Package
CUDD: CU Decision Diagram package - with CMake and extended C++
The EM-BDD algorithm developed for learning Hidden Markov Models (HMMs) using Binary Decision Diagrams to optimize the learning process, offering a alternative to traditional methods such as the Baum-Welch algorithm.
External Memory (Binary) Decision Diagrams
A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust
Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.
λ🎄 Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.
Links to tools by subject
Minimal ROBDD library implemented as part of the Verification of Digital Systems course
Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)
bddem is a SWI-Prolog pack for using Binary Decision Diagrams
LEO: Learning Efficient Orderings for Multiobjective Binary Decision Diagrams
Efficient pure Java implementation of (Binary) Decision Diagrams
A performant and ergonomic implementation of binary decision diagrams for .NET
Rudd is a Binary Decision Diagram (BDD) library written in pure Go.
Add a description, image, and links to the binary-decision-diagrams topic page so that developers can more easily learn about it.
To associate your repository with the binary-decision-diagrams topic, visit your repo's landing page and select "manage topics."