Java Decision Diagram Libraries 103

许可: 免费 ‎文件大小: N/A
‎用户评分: 4.0/5 - ‎1 ‎评分

此项目包含两个不同的二进制决策图 (BDD) 库:JBDD:一个 Java 接口,指向两个流行的 BDD 库 CUDD 和 BuDdy。JDD:支持BD、Z-BDD等的本机Java库(图形/自动机/Petri网络/SAT)

版本历史记录

  • 版本 JDD.jar-build103 发布于 2009-03-10
    若干修复和更新
  • 版本 JDD.jar-build103 发布于 2009-03-10

软件信息