Links to tools by subject
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
Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.
A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust
Efficient pure Java implementation of (Binary) Decision Diagrams
Java BDD implementation based on hashmaps.
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.
Add a description, image, and links to the binary-decision-diagrams topic page so that developers can more easily learn about it.
To associate your repository with the binary-decision-diagrams topic, visit your repo's landing page and select "manage topics."