うぎゃ。Max-SAT Evaluation 2014 に投稿した自作ソルバがバグってたらしい。去年から色々と変更したけど、あまりちゃんとテスト出来て...

Masahiro Sakai - 2014-05-20T23:46:26+0000 - 更新日時: 2014-05-20T23:46:26+0000

うぎゃ。Max-SAT Evaluation 2014 に投稿した自作ソルバがバグってたらしい。去年から色々と変更したけど、あまりちゃんとテスト出来てなかったからなぁ。直さねば……

Max-SAT 2014 - Ninth Max-SAT Evaluation

Masahiro Sakai - 2014-05-24T01:52:42+0000

バグではなく、コマンドラインにCNFファイルをSATではなくMax-SAT問題として解くというオプション(--maxsat)が指定されていなかったということだった。

READMEにはコマンドラインオプションの指定を書いておいたのだけれど、それは使われていなかったようで、「./mysolver <input_file_name>」として実行できるようにとのこと http://maxsat.ia.udl.cat/requirements/ 。仕方ないのでコマンドラインオプションを追加するだけのラッパーのシェルスクリプトを追加して再投稿した。

ただ、昨年にも同じ形で投稿していて、その際には何故問題にならなかったのだろうか……