Fault Tree Solver Code