Topic: "binary-decision-diagram"
pubkey/binary-decision-diagram
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
Language: TypeScript - Size: 361 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 34 - Forks: 2
msakai/haskell-decision-diagrams
Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
Language: Haskell - Size: 213 KB - Last synced at: 13 days ago - Pushed at: 5 months ago - Stars: 13 - Forks: 6
rohankalbag/optiVLSI
A library for fast and optimized VLSI Computer-Aided-Design algorithms
Language: Python - Size: 90.9 MB - Last synced at: 25 days ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 1
Simula-UiB/CRHS
Home of CryptaPath and PathFinder: Tools for algebraic cryptanalysis using CRHS (BDDs).
Language: Rust - Size: 379 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1
RikoAppDev/binary-decision-diagram
Implementation of Binary Decision Diagram
Language: Java - Size: 192 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
