Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)
C++ implementation of the DEPM algorithm
