用于事故树分析，求最小割集最小径集的可视化计算工具，也可以作为初学者的开发案例。