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

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

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.