osl/SamplePrograms/checkstat

サンプルプログラムの紹介?

詰将棋を解かせる (checkstat) †

ファイル †

sample/checkstat.cc

内容 †

• 詰将棋を実行するプログラム
• 問題はCSA形式のファイルで与える

コンパイル †

1. osl/release でmake しておく
2. osl/sampleに移動

   make checkstat RELEASE=yes

実行例 †

./checkstat -v filename

高度な利用法 †

• 証明木のグラフ化
  オプション-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