何が起こるのですか：
次のコマンドを実行します。
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 コマンドへの完全なパスを指定するか、Java 2 SDK のインストール手順の説明に従って PATH 環境変数を更新する必要があります。
その他の詳細
2.3.4までの複数のバージョンのライブラリを試しました。
私のシステムは、Gnome 2 を搭載した Debian 7 です。
私のデフォルトの Java インストールは OpenJDK 1.7.0_65 です。
私のセカンダリJavaインストールはOracle Java 1.8.0_45です（同じ問題があります）。
gnuplot 4.6 がインストールされています。
私の最初のマシンには、2GB の RAM を備えた 32 ビットのデュアルコア CPU が搭載されています。
私の 2 番目のマシンには、8 GB の RAM を備えた 64 ビットのクアッド コア CPU が搭載されており、ソフトウェアはほぼ同じです。
質問
SAT4J のリモート コントロール機能を使用したことのある人はいますか? 私の方法の問題は何ですか？
アップデート
別のマシン (64 ビット Debian 7) では、ウィンドウが開きます。start dat ファイルは作成されますが、プロットは開始されません。
更新 2
生成されinstance.dimacs-gnuplot.gnuplotたファイルを gnuplot ターミナルから手動で実行したところunknown or ambiguous terminal type、x11タイプのメッセージが表示されました。パッケージをインストールしたgnuplot-x11ところ、職場のマシンで動作するようになりました。ダイアグラムが表示されます (すごい!)。残念ながら、自宅のマシンではまだリモート コントロール ウィンドウが開きません。