我如何实现二元决策图（BDD）？ 我想基于文化算法和电路故障检测通过BDDS实施BDDS的最小化。

How can i implement binary decision diagrams (BDD)? i want to implement the minimization of BDDs based on cultural algorithms and the circuit fault detection by BDDs.

推荐答案

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

PATDBB may be the thing you are looking for