开发者 iben.sf.net

IBEN 是交互式 BDD 环境。它允许您声明、操作和可视化缩减的有序二进制决策图 （ROBD）。它被设计为一个学习工具，虽然它是有用的，每当你需要操作BDD互动和