Links to tools by subject

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

Concurrent decision diagram framework written in Rust

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

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

BuDDy BDD package (with CMake support)

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

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

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

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

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

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

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

Java BDD implementation based on hashmaps.

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

Efficient pure Java implementation of (Binary) Decision Diagrams

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

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

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

LEO: Learning Efficient Orderings for Multiobjective Binary Decision Diagrams

C implementation to symbolically solve Connect4 game for given board size with binary decision diagrams.

A tool for evaluating secure information flow of concurrent probabilistic programs

Decima is a proof-of-concept Java implementation of the probabilistic logic programming language ProbLog.

University of California BDD Package

Identity suppressed decision diagrams (IDDs)

Slides on Binary Decision Diagrams (BDDs) covering their basics, advanced techniques, and applications in digital system design and beyond.

metaSMT-Based SMT-LIB2 Consistency Checker

No description provided.