現在の所,Microsoft WindowsでSugar制約ソルバーを利用するには, Cygwinが必要となります.
C:\cygwin
"あるいは他の適切なフォルダをRoot Directoryとして
入力してください.
C:\cygwin\home\あなたのログイン名
"
(Root directoryの問い合わせに対して入力したディレクトリ名に依存します) が,
Cygwin実行環境での,あなたのホームディレクトリとなります.
C:\cygwin\home\あなたのログイン名
)に移動します.
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のファイルが存在しているかどうかを確認してください.
C:\Program Files\Java
" フォルダにインストールされ,
Javaのコマンドは
"C:\Program Files\Java\jdk1.6.0_06\bin
" にインストールされます.
PATH
" と入力し,変数値に
"C:\Program Files\Java\jdk1.6.0_06\bin
"
(Javaコマンドがインストールされたフォルダ名) を入力します.
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
C:\cygwin\home\あなたのログイン名
)に移動します.
wget http://bach.istc.kobe-u.ac.jp/sugar/sugar-v1-13.zip
".
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$$";
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
" と入力して,確認します.