zbdd

There are 2 repositories under zbdd topic.

• rakhimov / scram

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

  c-plus-pluspythonfault-treeevent-treeprapsarisk-analysisreliability-engineeringbddzbddftaqt5cpp17
  Language:C++ 133
• oxidd

  OxiDD / oxidd

  Concurrent decision diagram framework written in Rust

  bddbinary-decision-diagramszbddzddzero-suppressed-decision-diagrams
  Language:Rust 30