Skip to content

Latest commit

 

History

History
21 lines (14 loc) · 1017 Bytes

README.md

File metadata and controls

21 lines (14 loc) · 1017 Bytes

JSylvan

JSylvan allows using Sylvan from Java using JNI.

This project is experimental and unstable. It may not work. Fork at your own risk.

Sylvan is a parallel (multi-core) BDD library in C. Sylvan allows both sequential and parallel BDD-based algorithms to benefit from parallelism. Sylvan uses the work-stealing framework Lace and a scalable lockless hashtable to implement scalable multi-core BDD operations.

JSylvan and Sylvan are developed (© 2011-2014) by the Formal Methods and Tools group at the University of Twente as part of the MaDriD project, which is funded by NWO. JSylvan is licensed with the Apache 2.0 license.

See also: https://github.com/utwente-fmt/sylvan

Compiling

Probably requires jni.h in the path for Maven to find.

Usage

You can find a simple example in java/src/main/java/jsylvan/JSylvanDemo.java.

You can find another simple example in java/src/main/java/jsylvan/MCFile.java.