开发者 javabdd.sf.net

用于操作 BDD 的 Java 库（二进制决策图）。二进制决策图广泛应用于模型检查、正式验证、优化电路图等。