“发生了JNI错误，请检查您的安装并再试一次”Sat4J

Question

我使用Sat4J编写了一个java程序，它运行正常。现在我想将它导出为jar-File，但是当我执行它时，它总是说 “发生了JNI错误，请检查您的安装，然后重试 线程“main”中的异常java.lang.NoClassDefFoundError：org / sat4j / specs / TimeoutException“

我对一个以上的包没有多少经验。所以我的结构是我有一个包含4个类我编写的包和一个包含3个Sat4J类的包。我甚至不知道是否因为sat4J或不同的包而发生错误。

有没有人知道我能做什么？感谢。

Answer 1

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

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