2 results found Sort:

56
138
gpl-3.0
22
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
5
41
apache-2.0
1
Concurrent decision diagram framework written in Rust
Created 2023-10-12
185 commits to main branch, last one 16 hours ago