，有人做过BDD二元决策图算法么

求助，有人做过BDD二元决策图算法么？
求助，有人做过BDD二元决策图算法么？
本人正在做FTA项目，遇到了BDD算法，是一个递归算法，如何设计数据结构？
如何实现？想请教！
谢谢！
[解决办法]
有GPL的开源代码