用于操作 BDD 的 Java 库（二进制决策图）。二进制决策图广泛应用于模型检查、正式验证、优化电路图等。
版本历史记录
- 版本 0.6%20Win32%20binary 发布于 2005-05-09
若干修复和更新 - 版本 0.6 Win32 binary 发布于 2005-05-09
软件信息
- 软件分类： 教育 > 其他
- 发布者： javabdd.sf.net
- 许可： 免费
- 价格： N/A
- 版本： 0.6
- 适用平台： linux
用于操作 BDD 的 Java 库（二进制决策图）。二进制决策图广泛应用于模型检查、正式验证、优化电路图等。