对于z3和java，我是初学者，并且已经尝试安装它已经有一段时间了。我已按照http://leodemoura.github.io/blog/2012/12/10/z3-for-java.html上给出的所有说明进行操作，直到最后一步，即运行 -
“LD_LIBRARY_PATH = .java -cp com.microsoft.z3.jar：。JavaExample”（在Linux和FreeBSD上）命令。
然后我得到一个错误声明 - 线程“main”中的异常java.lang.UnsatisfiedLinkError：java.library.path中没有libz3java：[。，/ usr / java / packages / lib，/ usr / lib / x86_64 -linux-gnu / jni，/ lib / x86_64-linux-gnu，/ usr / lib / x86_64-linux-gnu，/ usr / lib / jni，/ lib，/ usr / lib]
为了解决这个问题我用Google搜索并发现你需要设置LD_LIBRARY_PATH，我已经按照各个页面上给出的建议但没有成功。另外，在“env | grep'^ LD_LIBRARY_PATH'”的输入中，我得到了 - LD_LIBRARY_PATH = / home / chaitanya / z3 / build，这是我的libz3java.so文件所在的位置，我相信这就是要求的内容。
你能告诉我如何让它运作吗？上次我更改了整个'usr'文件夹的权限，并通过更改整个文件夹的权限粘贴了libz3java.so文件，这导致了很多问题和复杂性，最后导致我用新的格式化我的系统安装Ubuntu。什么是最简单的方法来解决这个问题，并在我的系统上运行z3 java绑定？
答案 0 :(得分：0)
以防万一：在OSX上它是DYLD_LIBRARY_PATH。对于某些Java版本，可能需要将Z3目录添加到java.library.path，如错误消息中所示。即，运行java -Djava.library.path="/path/to/directory/containing/libz3java.so" ...