forked from openkylin/z3
15 lines
546 B
Plaintext
15 lines
546 B
Plaintext
A small example using the Z3 Java bindings.
|
|
|
|
To build the example, configure Z3 with the --java option to scripts/mk_make.py, build via
|
|
make examples
|
|
in the build directory.
|
|
|
|
It will create JavaExample.class in the build directory,
|
|
which can be run on Windows via
|
|
java -cp com.microsoft.z3.jar;. JavaExample
|
|
|
|
On Linux and FreeBSD, we must use
|
|
LD_LIBRARY_PATH=. java -cp com.microsoft.z3.jar:. JavaExample
|
|
On macOS, the corresponding option is DYLD_LIBRARY_PATH:
|
|
DYLD_LIBRARY_PATH=. java -cp com.microsoft.z3.jar:. JavaExample
|