2 results found Sort:
Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)
Created
2014-03-21
3,594 commits to develop branch, last one 5 years ago
Concurrent decision diagram framework written in Rust
Created
2023-10-12
174 commits to main branch, last one 22 days ago