联合尽职调查 swMATH ID: 41642 软件作者： 瓦希迪，A。 描述： JDD：一个纯Java BDD和Z-BDD库。JDD是一个用纯java编写的决策图库。它支持二进制决策图（BDD）和零抑制决策图（Z-BDD或仅ZDD）。二进制决策图（BDD）用于形式验证、CSP、优化等。要使用BDD，您需要一个BDD库。JDD是我的决策图库的java实现，其灵感来自BuDDy（一个用C编写的BDD包）。它还包括对零抑制BDD的支持。 主页： https://bitbucket.org/vahidi/jdd/src/master网站/ 源代码： https://bitbucket.org/vahidi/jdd/src/master网站/ 依赖项： Java语言 相关软件： WhyML公司;Why3号机组;BDD公司;禁用JBDD;西尔文;生锈;github;缓存BDD;VeriFast公司;VCC（沃尔沃汽车公司）;电子稳定控制系统/Java;伙计;规格#;CUDD公司;达夫尼 引用于： 1文件 2位作者引用 1 莱恩·伦瑞奇 1 保罗·A·G·西维洛蒂。 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文