线程“ main”中的异常java.lang.UnsatisfiedLinkError：java.library.path中没有libz3java

Question

我是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]

为了解决这个问题，我搜索了一下，发现您需要设置LD_LIBRARY_PATH，我遵循了各个页面上给出的建议，但是没有成功。 另外，在“ env | grep'^ LD_LIBRARY_PATH'”的输入中，我得到-LD_LIBRARY_PATH = / home / chaitanya / z3 / build，这是我的libz3java.so文件所在的位置，并且我相信这就是所要的。

你能告诉我如何使它工作吗？ 上一次我更改了整个'usr'文件夹的许可权，并通过更改整个文件夹的许可权粘贴了libz3java.so文件，这导致了很多问题和复杂性，最后导致我重新格式化了系统安装Ubuntu。 解决此问题并在系统上运行z3 java绑定的最简单方法是什么？

Answer 1

以防万一：在OSX上为DYLD_LIBRARY_PATH 。 对于某些Java版本，可能有必要按照错误消息中的指示将Z3目录添加到java.library.path中。 即，运行java -Djava.library.path="/path/to/directory/containing/libz3java.so" ...