zbdd

There are 2 repositories under zbdd topic.

  • rakhimov/scram

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

    Language:C++1412326356
  • oxidd

    OxiDD/oxidd

    Concurrent decision diagram framework written in Rust

    Language:Rust47196