BDD算法实现 - BuDDy开源代码

【文件属性】：

文件名称：BDD算法实现 - BuDDy开源代码

文件大小：832KB

文件格式：ZIP

更新时间：2022-03-16 13:13:45

算法 BDD

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