二进制决策图库,带 : 许多高效的矢量化 BDD 操作, 动态变量重新排序, 自动垃圾收集, 具有C++计数的自动接口, 和更多。
版本历史记录
- 版本 BuDDy%202.4 发布于 2004-07-28
若干修复和更新 - 版本 BuDDy 2.4 发布于 2004-07-28
软件信息
- 软件分类: 发展 > 其他
- 发布者: buddy.sf.net
- 许可: 免费
- 价格: N/A
- 版本: 2.4
- 适用平台: linux
二进制决策图库,带 : 许多高效的矢量化 BDD 操作, 动态变量重新排序, 自动垃圾收集, 具有C++计数的自动接口, 和更多。