提交软件

开发者 javabdd.sf.net

  • JavaBDD 免费

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