Yices Java API Lite - Little Engines of Proof

Introduction

This is Yices 1.0 Java Lite API web page. The Yices 1.0 Java Lite API distribution contains Java source code, Java bytecode and the dynamic library (source and binary) used to link from Java to the Yices existing C library developed by Stanford Research Institute (SRI). Yices Java API is an open source release, but Yices is not.

Platform

Yices Java Lite API is available for Linux only. For other platforms, please compile the source code on your platform. Another possibility for Windows users is to use cygwin.

Download

Compiled library: yicesapijava.tar.gz
Source: source.tar.gz

Installation

Compiled Library
Extract the file yicesapijava.tar.gz into your preferred location.
Add to the PATH variable the location where you put your “libyices.so” file.
Add to the LD_LIBRARY_PATH variable the location of your “libYicesLite.so” file.

Source Files
Extract the file source.tar.gz into your preferred location.
Run the makefile available in source.tar.gz.
Set the environment variables PATH and LD_LIBRARY_PATH as described in the compiled library section above.

Example

For more information, please contact: Email: [ cscharff@pace.edu] and [ sokharithsok@gmail.com]