A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
-
Updated
May 21, 2024 - TypeScript
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
Home of CryptaPath and PathFinder: Tools for algebraic cryptanalysis using CRHS (BDDs).
A library for fast and optimized VLSI Computer-Aided-Design algorithms
Add a description, image, and links to the binary-decision-diagram topic page so that developers can more easily learn about it.
To associate your repository with the binary-decision-diagram topic, visit your repo's landing page and select "manage topics."