osl/SamplePrograms/checkstat の変更点

追加された行はこの色です。
削除された行はこの色です。
osl/SamplePrograms/checkstat へ行く。
osl/SamplePrograms/checkstat の差分を削除

[[サンプルプログラムの紹介]]

* 詰将棋を解かせる (checkstat) [#j8737b3b]

**ファイル [#k05863cc]
[[sample/checkstat.cc:http://gps.tanaka.ecc.u-tokyo.ac.jp/osl/osl/doc/html/checkstat_8cc-source.html]]
**内容 [#j65f426c]
- 詰将棋を実行するプログラム
- 問題は[[CSA形式:http://www.computer-shogi.org/wcsc14/record.html]]のファイルで与える
** コンパイル [#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.csa
 dot -Tps -o tmp.ps tmp.dot
 gv tmp.ps