BDD算法实现 - BuDDy开源代码

BuDDy是一个比较经典的BDD实现，已经有较长时间没有更新，这个代码是最后一个版本，可以供参考学习。如果需要最新的BDD代码，也可以参考微软的Z3，里面有一个模仿BuDDy的简单实现。