Что случается: Я выполняю следующую команду. java -jar sat4j-sat.jar -remote Окно не открывается, и я получаю вывод на консоль такой же, как и без флага -remote, который начинается: c SAT4J: a SATisfiability library for Java (c)...

У меня есть формула в файле .dimacs/.cnf, как показано ниже: p cnf 6 9 1 0 -2 1 0 -1 2 0 -5 1 0 -6 1 0 -3 2 0 -4 2 0 -3 -4 0 3 4 -2 0 Можно ли извлечь только те предложения , которые содержат, например, переменные 2, 3 и 4 в...

Я написал Java-программу, используя Sat4J, и она отлично работает. Теперь я хочу экспортировать его как jar-файл, но когда я его запускаю, он всегда говорит: «Произошла ошибка JNI, проверьте установку и повторите попытку. Исключение в потоке «main»...