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 

这些指令应打开一个名为“远程控制”的Java窗口。我们 假定Java命令的1.5版本在你的路径中。如果 不是，那么您应该指定java 命令的完整路径或更新PATH环境变量，如针对Java 2 SDK的 安装说明中所述。

其他细节

我曾尝试库的多个版本，到2.3.4。

我的系统是Debian的7侏儒2.

我的默认安装Java是OpenJDK的1.7.0_65。

我的辅助Java安装是Oracle Java 1.8.0_45（具有相同的问题）。

Gnuplot 4.6已安装。

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

我的第二台机器有一个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周六的新鲜的快照里我们持续集成服务器上： http://bamboo.ow2.org/browse/SAT4J-DEF2-41/artifact/JOB1/nightly_build/

这可能会解决你会见了2.3的问题.4发布。

干杯，

丹尼尔