FaultTree 0.7.2

0.7.2

• Replace MCS algorithm with minsol

FaultTree 0.7.1

• add smeas, bmeas, c0meas, c1meas which take a BDD node

FaultTree 0.7.0

• Change interface to using the context

FaultTree 0.6.1

• add computation of gradient
• add importance measures

FaultTree 0.6.0

This is the first release.

• TODO
  • Implement of importance measure