2 results found Sort:

rakhimov
scram rakhimov
55
143
gpl-3.0
23
Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)
bdd fta pra psa qt5 zbdd cpp17 python event-tree fault-tree c-plus-plus risk-analysis reliability-engineering
Created 2014-03-21
3,594 commits to develop branch, last one 5 years ago
OxiDD
oxidd OxiDD
7
57
apache-2.0
1
Concurrent decision diagram framework written in Rust
bdd zdd zbdd binary-decision-diagrams zero-suppressed-decision-diagrams
Created 2023-10-12
204 commits to main branch, last one 7 days ago