asminer/meddly

Multi-terminal and Edge-valued Decision Diagram LibrarY

Language: C++ - Size: 9.56 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 13 - Forks: 5

gkontogiannhs/mdds

Language: Python - Size: 520 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0