SugarをWindows上でCygwinを用いて動かす方法

Last modified: Mon Feb 23 11:18:47 2009 JST

現在の所，Microsoft WindowsでSugar制約ソルバーを利用するには， Cygwinが必要となります．

Cygwinのインストール方法

Cygwinをインストールするには，少なくとも4Gバイトの空きディクスペースと，数時間 (利用している計算機のネットワーク接続速度に依存します) がかかります．
http://www.cygwin.comから "setup.exe"をダウンロードします．
"setup.exe"をダブルクリックして，インストールを開始します．
- "Select Root Install Directory"
  - "C:\cygwin"あるいは他の適切なフォルダをRoot Directoryとして入力してください．
- "Select Packages"
  - "All" をクリックしてください ("Default" が "Install" に変わります)．
- 表示される説明にしたがってインストール作業を進めます．
インストールが終了すると，デスクトップに "Cygwin" のアイコンが表示されます．
"Cygwin" をダブルクリックして，Cygwin terminal (Cygwin端末画面)を開きます． Cygwin terminalのウィンドウが表示されて何もエラーメッセージが表示されていなければ， Cygwinのインストールは成功です．
"C:\cygwin\home\あなたのログイン名" (Root directoryの問い合わせに対して入力したディレクトリ名に依存します) が， Cygwin実行環境での，あなたのホームディレクトリとなります．
後で，ソフトウェアを追加・変更・削除したい時は，再度"setup.exe"を実行してください．
上で"All"を選択していないと，後述のMiniSatが動かないことがあります．

MiniSatのインストール方法

http://minisat.seから "MiniSat_v1.14_cygwin"をダウンロードします．
ダウンロードしたファイルをCygwinのホームディレクトリ (C:\cygwin\home\あなたのログイン名)に移動します．
Cygwin terminalを開きます．
"cp MiniSat_v1.14_cygwin /usr/local/bin/minisat" と入力し ("は入力不要)， MiniSatを "/usr/local/bin" ディレクトリにインストールします．

"minisat -h" と入力します．以下のようなメッセージが表示されるはずです．

    USAGE: ./minisat <input-file> <result-output-file>
      where the input may be either in plain/gzipped DIMACS format or in BCNF.

表示されない場合は，"ls /usr/local/bin" と入力して， minisatのファイルが存在しているかどうかを確認してください．

Sun Java JDK (Java SE Development Kit)のインストール方法

Java JDKをインストールするには，約250Mバイトのディスク空き容量が必要です．
http://java.sun.com/javase/から， "JDK 6 Update 6" あるいはより新しいバージョンをダウンロードしてください．
ダウンロードしたJDKインストールプログラムを実行します．
表示される説明にしたがってインストール作業を進めます．
Javaのコマンドがインストールされたフォルダ名を確認してください．
- 通常のインストールでは， Java JDKは "C:\Program Files\Java" フォルダにインストールされ， Javaのコマンドは "C:\Program Files\Java\jdk1.6.0_06\bin" にインストールされます．
以下のようにしてPATH環境変数を設定します．
- "マイコンピュータ" を右クリック後，プロパティをクリックします．
- "詳細設定" タブをクリックします．
- "環境変数" をクリックします．
- ユーザー環境変数 (システム環境変数ではありません)の "新規" をクリックします．
- 変数名に "PATH" と入力し，変数値に "C:\Program Files\Java\jdk1.6.0_06\bin" (Javaコマンドがインストールされたフォルダ名) を入力します．
Cygwin terminalを開き，以下のようにしてインストールを確認します．
- "java -version" と入力します．以下のようなメッセージが表示されるはずです．
```
    java version "1.6.0_06"
    Java(TM) SE Runtime Environment (build 1.6.0_06-b02)
    Java HotSpot(TM) Client VM (build 10.0-b22, mixed mode, sharing)
```
- "javac -version" と入力します．以下のようなメッセージが表示されるはずです．
```
    javac 1.6.0_06
```
- 表示されなければ，PATH環境変数の設定をよく確認してください．

Sugarのインストール方法

Sugar web pageから "sugar-v1-13.zip" をダウンロードし，ダウンロードしたzipファイルをCygwinのホームディレクトリ (C:\cygwin\home\あなたのログイン名)に移動します．
- あるいは，Cygwin terminalで次のように入力します "wget http://bach.istc.kobe-u.ac.jp/sugar/sugar-v1-13.zip".
Cygwin terminalを開きます．
"unzip sugar-v1-13.zip" と入力します．
"cd sugar-v1-13" と入力します．
"nano bin/sugar" と入力し，以下のようにsugarスクリプトを編集します．

最初の部分を以下のように変更して保存します．

    my $java = "java";
    my $jar = "'C:\\cygwin\\home\\your_login_name\\sugar-v1-13\\bin\\sugar-v1-13.jar'";
    my $solver = "minisat";
    my $tmp = "sugar$$";

Cygwin terminalで "head bin/sugar" と入力して，編集が正しく行われたか確認します．

"bin/sugar examples/nqueens-8.csp" と入力して例題を実行します．

    s SATISFIABLE
    a q_1   4
    a q_2   2
    a q_3   8
    a q_4   6
    a q_5   1
    a q_6   3
    a q_7   5
    a q_8   7
    a

"cp bin/sugar /usr/local/bin" と入力して， sugarスクリプトを "/usr/local/bin" ディレクトリにコピーすれば， sugarスクリプトの場所を指定せずに実行できるようになります．
"sugar examples/nqueens-8.csp" と入力して，確認します．

Naoyuki Tamura