ctd_haifauni1

【文件属性】：
文件名称：ctd_haifauni1
文件大小：587KB
文件格式：ZIP
更新时间：2021-05-11 08:32:28
Java ＃用于组合测试设计（CTD）的高效算法Seri Khourry和Amir Shwartz（海法大学，2015年）

【文件预览】：
ctd_haifauni1-master
----.project(367B)
----.gitattributes(378B)
----src()
--------hellobdd()
----cudd.dll(308KB)
----buddy.dll(224KB)
----.settings()
--------org.eclipse.jdt.core.prefs(587B)
----cal.dll(124KB)
----README.md(116B)
----.classpath(427B)
----javabdd-1.0b2.jar(237KB)
----xmls()
--------zoo_and_shopping.zip(6KB)
--------shopping()
--------zoo()
--------unixshell()