![](/statics/img/blank.png)
Java Decision Diagram Libraries 103
许可: 免费 文件大小: N/A
用户评分: 4.0/5 - 1 评分
请稍候,您的下载链接正在检测恶意内容。
您将能够在 5 秒内下载。
您将能够在 5 秒内下载。
关于 Java Decision Diagram Libraries
此项目包含两个不同的二进制决策图 (BDD) 库:JBDD:一个 Java 接口,指向两个流行的 BDD 库 CUDD 和 BuDdy。JDD:支持BD、Z-BDD等的本机Java库(图形/自动机/Petri网络/SAT)