XFTA is a powerful and efficient calculation engine for fault trees and related models.
C++ implementation of the DEPM algorithm
Bit-array backed Binary Decision Diagram solver