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