RiskSpec Loops Analyzer A small utility for analyzing logical loops in fault trees software product RiskSpectrum PSA. Run: python run.py