Zbdd Collection

◆

◆

◆

◆

🔥Fire

★

“Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)”

◆

◆

◆

◆

⚙️Steel

★

“Concurrent decision diagram framework written in Rust”