"Произошла ошибка JNI, пожалуйста, проверьте вашу установку и попробуйте снова" Sat4J

Question

Я написал Java-программу, используя Sat4J, и она отлично работает. Теперь я хочу экспортировать его как jar-файл, но когда я его выполняю, он всегда говорит: "Произошла ошибка JNI, проверьте вашу установку и попробуйте снова. Исключение в потоке"main" java.lang.NoClassDefFoundError: org/sat4j". / функции /TimeoutException"

У меня нет большого опыта с более чем одной посылкой. Итак, моя структура такова, что у меня есть один пакет с 4 классами, которые я написал, и один пакет с 3 классами Sat4J. Я даже не знаю, возникает ли ошибка из-за sat4J или других пакетов.

Кто-нибудь знает, что я могу сделать? Благодарю.

Answer 1

Вам нужно добавить все классы Sat4j (например, из org.sat4j.core.jar) в ваш jar.

Ваша любимая среда разработки обычно позволяет автоматически включать все зависимости с вашим кодом в один файл.