GitHub topics: zbdd
OxiDD/oxidd
Concurrent decision diagram framework written in Rust
Language: Rust - Size: 2.98 MB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 61 - Forks: 9
rakhimov/scram
Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)
Language: C++ - Size: 20 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 146 - Forks: 55
