MartinRogalla/Yices Lite 1.0 JNI for OSX.md

Last active July 8, 2016 17:27

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/MartinRogalla/648a67c6dddb541f8cc8e5fa139e30fc.js"></script>
Save MartinRogalla/648a67c6dddb541f8cc8e5fa139e30fc to your computer and use it in GitHub Desktop.

Download ZIP

Raw

Yices Lite 1.0 JNI for OSX.md

Yices Lite 1.0 JNI for OSX

Using the files attached in a Yices-Help Mailing List thread, I was able to compile a Yices 1.0 Lite library for OSX that supports JNI (http://atlantis.seidenberg.pace.edu/wiki/lep/Yices_Java_API_Lite). Just thought to post the resulting library here, if someone else needs it.

Cheers,

Martin Rogalla

Raw

libYicesLite.dylib

This file has been truncated, but you can view the full file.

View raw

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment