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

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

PATDBB可能是您正在寻找的东西