c/c++ 请问有人做过BDD二元决策图算法么？

请问有人做过BDD二元决策图算法么？最好能有实现代码，谢谢大家