Java Bindings for Yices 2

Installation

You will need a recent installation of yices2 (>= 2.6.1), java (>= 8 or 1.8).

These instructions are for Unix style operating systems. There is a seperate file that describes the procedure on Windows.

You can build either using ant (>= 1.10.0), or directly using the build.sh that we provide.

Building with ant

>ant

will list the targets.

ant install

will create the jar, and the JNI dynamic shared library in the directory ./dist/lib.

ant test

will also run some tests.

You can also directly run the build products on the command line via:

java -Djava.library.path=./dist/lib -jar ./dist/lib/yices.jar

Which will print out version information about the jar, the shared library, as well as your current yices installation. For example:

Yices Java Bindings Version 1.0.1
Build date: April 2 2020
using Yices dynamic library version 2.6.2
Built for x86_64-apple-darwin18.7.0
Build mode: release
Build date: 2019-11-08
MCSat supported: true

Building with build.sh

One can also avoid ant by using the build.sh provided you set two environment variables

• YICES_CLASSPATH the directory where you want the class files to be placed.
• YICES_JNI the directory where you want the dynamic JNI library and jar file to be placed.

As an example we include ant.sh which mimics the functionality of the ant build via the build.sh script, and the jar utility.