文件名称：jsylvan:Sylvan的JNI绑定
文件大小：218KB
文件格式：ZIP
更新时间：2024-05-21 02:05:26
Java
吉尔万 JSylvan允许使用JNI从Java使用 。 该项目是实验性的，不稳定。 它可能不起作用。 叉车风险自负。 Sylvan是C中的并行（多核）BDD库。Sylvan允许基于顺序和并行BDD的算法都受益于并行性。 Sylvan使用工作窃取框架Lace和可伸缩的无锁哈希表来实现可伸缩的多核BDD操作。 JSylvan和Sylvan由Twente大学的组（:copyright:2011-2014）开发，是由NWO资助的MaDriD项目的一部分。 JSylvan已获得Apache 2.0许可证的许可。 另请参阅： : 编译中 可能在路径中要求jni.h才能使Maven找到。 用法 您可以在java/src/main/java/jsylvan/JSylvanDemo.java找到一个简单的示例。 您可以在java/src/main/java/jsylvan/MCFile.java找到另一个简单的示
【文件预览】：
jsylvan-master
----models()
--------collision.6.bdd(57KB)
--------schedule_world.3.bdd(24KB)
--------collision.4.bdd(40KB)
--------lifts.7.bdd(400KB)
--------lifts.6.bdd(385KB)
--------collision.5.bdd(43KB)
--------schedule_world.2.bdd(18KB)
--------anderson.4.bdd(38KB)
--------bakery.4.bdd(73KB)
----src()
--------main()
----LICENSE(11KB)
----README.md(1017B)
----pom.xml(5KB)
----.gitignore(115B)
----sylvan.properties(85B)