JNI Bindings for Sylvan
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
models
src/main
.gitignore
LICENSE
README.md
pom.xml
sylvan.properties

README.md

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.