クイックスタート¶

初めての方¶

starterディレクトリの中に簡単に実行できるbatファイルがあります。

inputディレクトリにある field.txt と patterns.txt から地形と組み合わせを変更して、実行したいbatファイルをダブルクリックで実行してください。

inputディレクトリにある field.txt と patterns.txt から地形と組み合わせを変更して、ターミナルから以下のコマンドを入力してください

cd  {jarファイルのあるディレクトリパス}

# パフェ成功確率を知りたいとき
java -jar sfinder.jar percent

# 全操作を列挙したいとき
java -jar sfinder.jar path

注釈

実行しても途中で止まる、結果 (last_output.txt)をみても途中で切れている、というときは、outputディレクトリの中のerror.txtを見てみてください。

どこで実行が失敗したかが書いてあるはずなので、それをもとにフィールドやパターンファイル、コマンド、オプションなどを直してみてください。

それでもわからない...という方は、その error.txt と一緒に連絡先からお気軽にご連絡ください。

starterディレクトリの中にあるbatファイルをテキストエディタで開くと、次のような記述があります。

pathの例)

echo|sfinder.bat path --format link

--format link のように、この部分にオプションを加えることで各種設定を変更できます。

batはstarterディレクトリ内であればコピー・リネームしても使用できますので、 batをコピーして使いやすいオプションに変更することをオススメします。

なおオプションについては、このドキュメントの各コマンドに記載されていますので、そちらをご参照ください。

コマンドプロンプトでsolution-finderのあるディレクトリへ移動してください。

（Windows7以降の場合、コマンドプロンプトで開きたいディレクトリへエクスプローラ上で移動し、そのディレクトリ内で shift+右クリック → PowerShell ウィンドウをここに開く で直接移動できる）

※ コマンドラインでも同様に操作できます。

そのあと、以下のコマンドを入力してください。

# パフェ成功確率を知りたいとき
sfinder.bat percent

# 全操作を列挙したいとき
sfinder.bat path

このとき、各コマンドでオプションを指定することができます。

例)

# ホールドを使用しないパフェ成功確率を知りたいとき
sfinder.bat percent --hold avoid

使用したいオプションを付与してコマンドを実行することで、様々な探索が可能になります。

オプションの詳細はコマンドについてを参照してください。

各コマンドを実行するとき、オプションを指定することができます。

例)

cd  {jarファイルのあるディレクトリパス}

# ホールドを使用しないパフェ成功確率を知りたいとき
java -jar sfinder.jar percent --hold avoid

使用したいオプションを付与してコマンドを実行することで、様々な探索が可能になります。

オプションの詳細はコマンドについてを参照してください。