Enhancement suggestion: fast BDD algorithm for large coherent boolean functions

[glarange]

Hi Tom,

Would you be interested in implementing a subsume function for coherent functions. Speeds up large-scale trees used in reliability of nuclear plants and electric grid. Widely used in energy.

I'd appreciate if you could give me some guidance as I'm not the most experienced in C or development in general.

Thanks,
Gui

More details in attached paper.

Thanks,
Gui
a fast BDD algorithm for large coherent fault trees analysis.pdf

[trolando]

Hey @glarange my apologies for missing this earlier. I'm interested in this, currently doing some maintenance on Sylvan in fact (See on my trolando github page github.com/trolando/sylvan).

I'll get back to this. I have some colleagues who also work on fault tree analysis. @raulmonti and others.