Links to tools by subject
-
Updated
Mar 19, 2024
Links to tools by subject
A performant and ergonomic implementation of binary decision diagrams for .NET
An I/O-efficient implementation of (Binary) Decision Diagrams
Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
Concurrent decision diagram framework written in Rust
Mirror of: CUDD: Colorado University Decision Diagram package <http://vlsi.colorado.edu/~fabio/>
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
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
University of California BDD Package
A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust
Identity suppressed decision diagrams (IDDs)
2 algorithm implementations for a SAT problem solver (FNC form solver, and BDD (Binary Decision Diagram))
metaSMT-Based SMT-LIB2 Consistency Checker
An decision tree implemented in React
CUDD: CU Decision Diagram package - with CMake and extended C++
Online BDD Simulation Tool
Rudd is a Binary Decision Diagram (BDD) library written in pure Go.
Binary Decision Diagram Package using a Chord-Based Distributed Hash Table
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."