Build z3 for Java

To clone z3 using ubuntu Git I had to follow this codeplex Git workaround

I got the unstable HEAD.

To build z3:

python scripts/ --java
cd build
make all examples

I also had to set LD_LIBRARY_PATH to get the code to load the z3 shared libraries correctly.

Leave a Reply

Your email address will not be published. Required fields are marked *