线程“main”java.lang.UnsatifiedLinkError:java.library.path中没有libz3java
我是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/x86_64-linux-gnu,/usr/lib/jni,/lib,/usr/lib/jni
为了解决这个问题，我搜索了一下，发现需要设置LD_LIBRARY_PATH，我遵循了各个页面上给出的建议，但没有成功。此外，在“env grep'^ld_library_path'”的输入中，我得到了-ld_library_path=/home/chaitanya/z3/build，这就是我的libz3java.so文件所在的位置，我相信这就是所要求的。
你能告诉我怎么让它工作吗？上次，我更改了整个“usr”文件夹的权限，并通过更改整个文件夹的权限粘贴了libz3java.so文件，这导致了很多问题和复杂性，最终导致我用新安装的Ubuntu来格式化我的系统。解决这个问题并让z3 java绑定在我的系统上运行的最简单的方法是什么？
共有1个答案
以防万一：在OSX上，它是dyld_library_path。对于某些Java版本，可能需要将Z3目录添加到Java.library.path中，如错误消息所示。即运行java-djava.library.path=“/path/to/directory/containing/libz3java.so”...
-
--所以，编制没有问题。当我开始运行程序时，它显示如下异常 线程“main”java.lang.UnsatisfiedLinkError中的异常：java.library.path中的java.lang.ClassLoader.LoadLibrary（未知源）中的java.lang.Runtime.LoadLibrary0（未知源）中的java.lang.System.LoadLibrary（未知
-
DOM结构 线程“main”组织中出现异常。openqa。硒。NoSuchElementException：没有这样的元素：无法定位元素：{“method”：“tag name”，“selector”：“li”
-
问题内容： 每当我运行此命令时，该函数就可以正常使用。当我选择洞穴时，消息会每隔2秒弹出一次，然后当它越过该部分时，就会出现错误： 我已经尝试过和，并且在该方法中使用时，出现了很多错误。当我在方法中使用时，它不接受我的输入。 当我在该方法中使用时，它不接受我的字符串输入，而直接进入另一个游戏，但是布尔值返回并且它无限地发送垃圾邮件“ Which Cave …”。 我已经阅读了错误报告，以及类似问题
-
问题内容： 我正在开发一个访问数据库的项目，但是我遇到了一些问题。我尝试使用hibernate3.2和4.52，但是它不起作用。 例外是在这行代码中 问题答案： 您需要在类路径中检查类org.apache.log4j.Level的冲突版本并进行解决。版本1.2.12或更高版本的log4j jar中提供了TRACE级别。
-
我最近安装了intellij IDEA 14.0，为了确保一切正常，我创建了一个简单的Hello World程序。我不明白为什么输出不正确，为什么会出现这个错误。如果有人能帮忙，那就太好了。 以下是程序： 这是错误：
-
问题内容： 当我运行程序进行智能卡读取时，会出现此异常。我的设备未连接。请帮我。 问题答案： 这意味着它无法加载您需要的共享库。这可能是因为。 该库不在您的库路径中。 该库名称不正确，例如，Unix上LIBRARY必须为libLIBRARY.so。 您无法执行该库。 该库不适用于操作系统或JVM的位大小。例如64位JVM将不会加载32位库。 您的JRE未正确安装，并且无法加载其自己的库之一。 您正