O

OpenBDD

Binary Decision Diagram solver for OpenPRA event trees and fault trees