标签： c# binary-decision-diagram
可能重复： Does anyone know of a any C# BDD(Binary Decision Diagram) packages?
如何在C＃中实现简化有序二进制决策图（ROBDD）？ 有谁知道吗？