问运行Z3 java绑定时出错
EN

Stack Overflow用户

提问于 2016-02-09 08:08:52

回答 1查看 140关注 0票数 0

我正在运行由JavaExample.java 4.4.2提供的Z3，但是我得到了以下输出，然后出错：

Z3 Major Version: 4
Z3 Full Version: 4.3.2.0
SimpleExample
Opt
Exception in thread "main" java.lang.UnsatisfiedLinkError: com.microsoft.z3.Native.INTERNALmkOptimize(J)J
    at com.microsoft.z3.Native.INTERNALmkOptimize(Native Method)
    at com.microsoft.z3.Native.mkOptimize(Native.java:5208)
    at com.microsoft.z3.Optimize.<init>(Optimize.java:262)
    at com.microsoft.z3.Context.mkOptimize(Context.java:3043)
    at Z3Example.optimizeExample(Z3Example.java:2323)
    at Z3Example.main(Z3Example.java:2362)

公平地说，我使用的是4.3.2提供的64位libz3java.dll，而使用的是4.4.2版本的jar文件com.microsoft.z3.jar，因为这是我成功实现的唯一组合(this详细说明了这些问题)。这是版本差异导致这个错误的原因，还是有其他原因？

java

回答 1

Stack Overflow用户

回答已采纳

发布于 2016-02-09 09:36:58

是的，版本差异是造成这个问题的原因: 4.3.2不支持优化，因此不支持mkOptimize。我将分别看另一个问题。

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/35286850

复制

相似问题

问运行Z3 java绑定时出错
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问运行Z3 java绑定时出错EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问运行Z3 java绑定时出错
EN