Окно Sat4j Remote Control не открывается

Question

Что просходит:

Я выполняю следующую команду.

java -jar sat4j-sat.jar -remote

Окно не открывается, и я получаю вывод на консоль, такой же, как и без флага -remote, который начинается:

c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois (...)
c This is free software under the dual EPL/GNU LGPL licenses.
c See www.sat4j.org for details.
c version 2.3.4.v20130419
c java.runtime.name OpenJDK Runtime Environment
c java.vm.name      OpenJDK Client VM
c java.vm.version   24.65-b04
c java.vm.vendor    Oracle Corporation
c sun.arch.data.model   32
c java.version      1.7.0_65
c os.name       Linux
c os.version        3.2.0-4-686-pae
(...)

Что ожидается:

Из readme.txt:

Для запуска sat4j с конфигурацией "на лету":

java -jar sat4j-sat.jar -remote

Эти инструкции должны открыть окно Java с именем Remote Control. Мы предполагаем, что версия 1.5 команды Java находится на вашем пути. Если это не так, вам следует либо указать полный путь к команде java, либо обновить переменную среды PATH, как описано в инструкциях по установке для Java 2 SDK.

Другие детали

Я пробовал несколько версий библиотеки, до 2.3.4.

Моя система - Debian 7 с Gnome 2.

Моя установка по умолчанию Java - OpenJDK 1.7.0_65.

Моя вторичная установка Java - Oracle Java 1.8.0_45 (с той же проблемой).

Gnuplot 4.6 установлен.

Моя первая машина имеет 32-битный двухъядерный процессор с 2 ГБ оперативной памяти.

Моя вторая машина имеет 64-битный четырехъядерный процессор с 8 ГБ ОЗУ с почти идентичным программным обеспечением.

Вопрос

Кто-нибудь использовал функцию дистанционного управления SAT4J? В чем проблема с моим методом?

Обновить

На другом компьютере (64-битный Debian 7) откроется окно. После запуска создаются файлы данных, но печать не начинается.

Обновление 2

Я запустил сгенерированный instance.dimacs-gnuplot.gnuplot файл вручную из терминала gnuplot, и я получил сообщение unknown or ambiguous terminal type для x11 тип. Я установил gnuplot-x11 пакет, и теперь он работает на рабочем месте машины: я вижу диаграммы (вау!). К сожалению, на моих домашних машинах окно дистанционного управления все еще не открывается.

Answer 1

-remote Параметр используется для отображения на пульте дистанционного управления, т.е. для настройки различных параметров решателя.

Если вы хотите всегда следить за тем, что делает решатель, вам необходимо использовать вместе -r параметр.

Таким образом, полная командная строка должна быть:

java -jar sat4j-sat.jar -r -remote file.cnf

Вы можете получить свежий снимок Sat4j Sat на нашем сервере непрерывной интеграции: http://bamboo.ow2.org/browse/SAT4J-DEF2-41/artifact/JOB1/nightly_build/

Это может решить проблему, с которой вы столкнулись в выпуске 2.3.4.

Ура,

Даниил