01Boolean logic modeling using standard AND, OR, and intermediate event gates.
025 GitHub stars
03Automated identification of minimal cut sets and single points of failure.
04Quantitative probability calculations with support for importance measures like Fussell-Vesely.
05Structured Q&A workflow for defining system boundaries and top-level failure events.
06Visual output generation including professional SVG diagrams and comprehensive HTML reports.