osl/SamplePrograms/checkstat
をテンプレートにして作成
[
トップ
] [
一覧
|
単語検索
|
最終更新
]
開始行:
[[サンプルプログラムの紹介]]
* 詰将棋を解かせる (checkstat) [#j8737b3b]
**ファイル [#k05863cc]
[[sample/checkstat.cc:http://gps.tanaka.ecc.u-tokyo.ac.jp...
**内容 [#j65f426c]
- 詰将棋を実行するプログラム
- 問題は[[CSA形式:http://www.computer-shogi.org/wcsc14/re...
** コンパイル [#c1d15cb8]
+ osl/release でmake しておく
+ osl/sampleに移動
make checkstat RELEASE=yes
** 実行例 [#p0530671]
./checkstat -v filename
** 高度な利用法 [#pbdd01a1]
- 証明木のグラフ化~
オプション-pでgraphviz形式で木を記述する．dotコマンドでps...
閲覧可能．
./checkstat -o tmp.dot -v -p ../data/www/town/nankai/41....
dot -Tps -o tmp.ps tmp.dot
gv tmp.ps
終了行:
[[サンプルプログラムの紹介]]
* 詰将棋を解かせる (checkstat) [#j8737b3b]
**ファイル [#k05863cc]
[[sample/checkstat.cc:http://gps.tanaka.ecc.u-tokyo.ac.jp...
**内容 [#j65f426c]
- 詰将棋を実行するプログラム
- 問題は[[CSA形式:http://www.computer-shogi.org/wcsc14/re...
** コンパイル [#c1d15cb8]
+ osl/release でmake しておく
+ osl/sampleに移動
make checkstat RELEASE=yes
** 実行例 [#p0530671]
./checkstat -v filename
** 高度な利用法 [#pbdd01a1]
- 証明木のグラフ化~
オプション-pでgraphviz形式で木を記述する．dotコマンドでps...
閲覧可能．
./checkstat -o tmp.dot -v -p ../data/www/town/nankai/41....
dot -Tps -o tmp.ps tmp.dot
gv tmp.ps
ページ名:
![[PukiWiki]](image/../gpsshogi.png "[PukiWiki]")
