Links to tools by subject

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

A performant and ergonomic implementation of binary decision diagrams for .NET

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

Online BDD Simulation Tool

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

bddem is a SWI-Prolog pack for using Binary Decision Diagrams

Rudd is a Binary Decision Diagram (BDD) library written in pure Go.

Demonstration of BDD-based SAT solver that generates checkable proofs of unsatisfiability. Details provided in paper: R. E. Bryant and M. J. H. Heule, "Generating Extended Resolution Proofs in a BDD-based SAT Solver," TACAS 2021

Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)

A Python (re-)implementation of some known knowledge compilers

A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust

Efficient pure Java implementation of (Binary) Decision Diagrams

Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.

Java BDD implementation based on hashmaps.

BuDDy BDD package (with CMake support)

Python abstraction around Binary Decision Diagrams to implement Multivalued Decision Diagrams.

λ🎄 Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.