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

Open source complex event processing solution in Rust

BDD and ZDD in Lean4

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

Implementation of the Binary Decision Diagrams in Racket

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).