#
binary-decision-diagram
Here are 5 public repositories matching this topic...
A library to create, minimize and optimize binary decision diagramshttps://github.com/pubkey/binary-decision-diagram
- Updated
Jul 11, 2025 - TypeScript
Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
- Updated
Nov 26, 2024 - Haskell
A library for fast and optimized VLSI Computer-Aided-Design algorithms
- Updated
May 8, 2023 - Python
Home of CryptaPath and PathFinder: Tools for algebraic cryptanalysis using CRHS (BDDs).
- Updated
Jun 28, 2022 - Rust
DSA - Assignment 2 - Implementation of Binary Decision Diagram
- Updated
Jun 21, 2024 - Java
Improve this page
Add a description, image, and links to thebinary-decision-diagram topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thebinary-decision-diagram topic, visit your repo's landing page and select "manage topics."