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
Java BDD implementation based on hashmaps.
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
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."