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的完整路径   命令或更新您的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位双核CPU和2GB内存。

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

问题

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

更新

在另一台机器（64位Debian 7）上打开窗口。启动后会创建dat文件，但不会启动绘图。

更新2

我从gnuplot终端手动运行生成的instance.dimacs-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版本中遇到的问题。

干杯，

丹尼尔