有谁知道任何 C# BDD(二元决策图)包?

sar*_*rah 5 c# algorithm binary-decision-diagram

如何实现二元决策图(BDD)?我想基于文化算法和 BDD 的电路故障检测来实现 BDD 的最小化。