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

😹 convert ANSI Escaped CLI strings to SVGs

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

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

Make your migrations safe

DevStroke Zero Downtime Deployment system

Implementation of the Binary Decision Diagrams in Racket

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

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

External Memory (Binary) Decision Diagrams

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