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發佈。

乾杯，

丹尼爾