java - 线程中出现异常 "main"java.lang.UnsatisfiedLinkError : no libz3java in java. library.path

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 上)命令。

然后我收到一条错误消息 - Thread "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 绑定(bind)在我的系统上运行的最简单方法是什么？

Answer 1

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