使用 CP-SAT 的 Java 应用程序适用于 Windows，但不适用于 macOS

Question

我正在开发一个集成了 Google OR-Tools 的 CP-SAT 功能的应用程序。它在我的 Windows 机器上完美运行，但在我的 MacBook 上的 IntelliJ 中运行完全相同的代码会导致此错误：

Exception in thread "Thread-1" java.lang.UnsatisfiedLinkError: 
Can't load library: /var/folders/fh/p53vbgc50gq9h80kn950pvnh0000gn/T/ortools-java17235137568310781234/darwin/libjniortools.dylib

我是初学者，所以我不明白这意味着什么，也找不到任何解决方案。

我尝试将库导入代码从

OrToolsHelper.loadLibrary();

更改为

Loader.loadNativeLibraries();

。这有帮助。代码继续前进，但它仍然显示另一个不满意的链接错误：

Exception in thread "Thread-1" java.lang.UnsatisfiedLinkError: 
byte[] com.google.ortools.sat.mainJNI.SatHelper_solveWithParameters(byte[], byte[])

Answer 1

在 OR-Tools github 上查看这个issue。

最有可能的问题是您需要强制 maven 配置文件中的 jna 依赖项以使用最新版本。