用于故障检测电路BDD算法的实现,基于linux系统,需要移植,安装readme操作,并make生成可执行文件
2023-01-25 15:38:24 1.32MB BDD算法 故障检测
1
BuDDy是一个比较经典的BDD实现,已经有较长时间没有更新,这个代码是最后一个版本,可以供参考学习。如果需要最新的BDD代码,也可以参考微软的Z3,里面有一个模仿BuDDy的简单实现。
2023-01-25 14:28:04 832KB 算法 BDD
1