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

詰将棋を解かせる (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


[ 編集 | 凍結 | 差分 | バックアップ | 添付 | リロード ]   [ 新規 | ヘルプ ] https://gps.tanaka.ecc.u-tokyo.ac.jp:443/osl/index.php?%A5%B5%A5%F3%A5%D7%A5%EB%A5%D7%A5%ED%A5%B0%A5%E9%A5%E0%A4%CE%BE%D2%B2%F0%2Fcheckstat トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2007-04-07 (土) 18:19:57 (6455d)