binary-decision-diagrams topic

Links to tools by subject

johnyf

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

tulip-control

A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram

pubkey

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

SSoelvsten

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

microsoft

Online BDD Simulation Tool

suyjuris

Concurrent decision diagram framework written in Rust

OxiDD