Exception in thread "main" java.lang.UnsatisfiedLinkError: no libz3java in java.library.path
Exception in thread "main" java.lang.UnsatisfiedLinkError: no libz3java in java.library.path
我是 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 绑定 运行ning 的最简单方法是什么？
以防万一：OSX 是 DYLD_LIBRARY_PATH。对于某些 Java 版本，可能需要将 Z3 目录添加到 java.library.path，如错误消息中所示。即，运行 java -Djava.library.path="/path/to/directory/containing/libz3java.so" ...
我是 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 绑定 运行ning 的最简单方法是什么？
以防万一：OSX 是 DYLD_LIBRARY_PATH。对于某些 Java 版本，可能需要将 Z3 目录添加到 java.library.path，如错误消息中所示。即，运行 java -Djava.library.path="/path/to/directory/containing/libz3java.so" ...