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

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

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

Concurrent decision diagram framework written in Rust

😹 convert ANSI Escaped CLI strings to SVGs

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

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

DevStroke Zero Downtime Deployment system

Implementation of the Binary Decision Diagrams in Racket

Make your migrations safe

External Memory (Binary) Decision Diagrams

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