Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

Concurrent decision diagram framework written in Rust

An I/O-efficient implementation of (Binary) Decision Diagrams

Disable native change detection from Magento2 to allow Zero Downtime Deployment Strategy.

😹 convert ANSI Escaped CLI strings to SVGs

Make your migrations safe

Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell

CUDD: CU Decision Diagram package - with CMake and extended C++

🌵 Decision Diagrams for Rust

DevStroke Zero Downtime Deployment system

BDD and ZDD in Lean4

Implementation of the Binary Decision Diagrams in Racket

Finding all available paths in graph (PHP) using ZDD data structure and frontier-based

CUDD stands for Colorado University Decision Diagram. It is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).

OCaml implementation of Zero-Suppressed Binary Decision Diagrams (ZDDs) — compressing binary decision trees via list-based and tree-based algorithms, with complexity analysis and experimental benchmarks on compression ratio and execution time.

External Memory (Binary) Decision Diagrams