java - 线程“主”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: no libz3java in java.library.path: [., /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 绑定在我的系统上运行的最简单方法是什么？

标签： javaz3

Answer 1

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