Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)
Bit-array backed Binary Decision Diagram solver