Enhancement suggestion: fast BDD algorithm for large coherent fault trees

tulip-control / dd

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

https://pypi.org/project/dd

Other

181 stars 39 forks source link

Enhancement suggestion: fast BDD algorithm for large coherent fault trees #56

Closed glarange closed 4 years ago

glarange commented 4 years ago

Hi @johnyf @slivingston

Any interest in implementing a slightly modified but much faster BDD when the boolean function is "coherent"? If not, could you point me in the direction of the function where I could attempt this myself?

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

slivingston commented 4 years ago

@glarange Is this still of interest to you?

I am catching up on issues and missed this one. If you closed it out of frustration, please re-open, and we can discuss it.