我如何实现二元决策图(BDD)？

我想基于文化算法和BDD的电路故障检测来实现BDD的最小化. 最佳答案
PATDBB可能是您正在寻找的东西