此项目包含两个不同的二进制决策图 (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
软件信息
- 软件分类: 发展 > 其他
- 发布者: javaddlib.sf.net
- 许可: 免费
- 价格: N/A
- 版本: 103
- 适用平台: linux