“发生JNI错误，请检查您的安装，然后重试”Sat4J

Question

我用Sat4J写了一个java程序，它运行得很好。现在我想将它导出为jar文件，但是当我执行它时，它总是说“发生了JNI错误，请检查您的安装并在线程中重试异常"main”java.lang.NoClassDefFoundError: org/sat4j/specs/TimeoutException“

我对一个以上的包没有太多的经验。所以我的结构是，我有一个包含4个我编写的类的包和一个包含3个Sat4J类的包。我甚至不知道是因为sat4J还是不同的包导致了这个错误。

有谁知道我能做什么吗？谢谢。

Answer 1

您需要在jar中添加所有Sat4j类(例如来自org.sat4j.core.jar )。

您最喜欢的IDE通常提供了一种方法，可以在单个jar中自动包含代码中的所有依赖项。