如何实现二元决策图（BDD）？我想基于文化算法和 BDD 的电路故障检测来实现 BDD 的最小化。
c# algorithm binary-decision-diagram
algorithm ×1
binary-decision-diagram ×1
c# ×1