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 may be the thing you are looking for
来源：https://stackoverflow.com/questions/6857588/does-anyone-know-of-a-any-c-sharp-bddbinary-decision-diagram-packages