IBEN 是交互式 BDD 环境。它允许您声明、操作和可视化缩减的有序二进制决策图 (ROBD)。它被设计为一个学习工具,虽然它是有用的,每当你需要操作BDD互动和
版本历史记录
- 版本 1.1 发布于 2003-03-25
若干修复和更新 {*} - 版本 1.1 发布于 2003-03-25
软件信息
- 软件分类: 教育 > 其他
- 发布者: iben.sf.net
- 许可: 免费
- 价格: N/A
- 版本: 1.1
- 适用平台: linux
IBEN 是交互式 BDD 环境。它允许您声明、操作和可视化缩减的有序二进制决策图 (ROBD)。它被设计为一个学习工具,虽然它是有用的,每当你需要操作BDD互动和