GitHub topics: zero-suppressed-decision-diagrams
OxiDD/oxidd
Concurrent decision diagram framework written in Rust
Language: Rust - Size: 2.98 MB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 61 - Forks: 9
SSoelvsten/adiar
An I/O-efficient implementation of (Binary) Decision Diagrams
Language: C++ - Size: 13.1 MB - Last synced at: 24 days ago - Pushed at: about 2 months ago - Stars: 27 - Forks: 14
logsem/adiar Fork of SSoelvsten/adiar
External Memory (Binary) Decision Diagrams
Language: C++ - Size: 6.51 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
SSoelvsten/cudd
CUDD: CU Decision Diagram package - with CMake and extended C++
Language: C - Size: 2.37 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 1