Coyan is a Rust project that transforms Static Fault Trees into CNF equisatisfiables formulas. Then, with the use of a Model Counter, computes the Top Event Probability of failure at a given time bound. Also, it allows the creation of random Fault Trees with specific configurations.
git clone https://github.com/NazaGara/Coyan.git
cargo build --release The tool currently posses the modules for Fault Tree Analysis coyan_fta and for Random Fault Tree Generation coyan_rft. Both of them can be used via the command line interface coyan-cli.