Sat4j远程控制窗口未打开

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 这些指令应该打开一个名为Remote Control的java窗口。我们假设java命令的1.5版本在您的路径中。如果不是，那么您应该指定java命令的完整路径，或者按照Java2SDK的安装说明更新path环境变量。

其他细节

我尝试过这个库的多个版本，最多2.3.4。

我的系统是Debian 7和Gnome 2。

我的默认安装是OpenJDK 1.7.0_65。

我的第二个Java安装是Oracle 1.8.0_45 (有同样的问题)。

安装了gnuket4.6。

我的第一台机器有一个32位双核CPU和2GB的RAM。

我的第二台机器有一个64位的四核CPU，8GB的RAM和几乎相同的软件。

问题

有人使用过SAT4J的遥控功能吗？我的方法有什么问题？

更新

在另一台计算机(64位Debian 7)上，窗口会打开。创建启动dat文件后，绘图不会启动。

更新2

我从gnuplot终端手动运行生成的instance.dimacs-gnuplot.gnuplot文件，并获得了x11类型的消息unknown or ambiguous terminal type。我安装了gnuplot-x11包，现在它在工作场所机器上工作:我可以看到图表(哇！)。不幸的是，在我的家庭机器上，遥控器窗口仍然没有打开。

Answer 1

-remote参数用于显示遥控器，即设置求解器的各种参数。

如果希望始终监视解决程序正在做什么，则需要结合使用-r参数。

因此，完整的命令行应该是：

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

您可以在我们的连续集成服务器上获得Sat4j的最新快照：build/。

这可能解决您在2.3.4版本中遇到的问题。

干杯,

丹尼尔