ムズカシイ…

先月で一時開発停止する予定だった詰ルーチンをまだやっています…。
来月は開発を休む予定なので、こんなことしてる場合じゃない気もします。
詰めルーチン以前に勝負が決するようなので、まずは中盤の強化をしないと先に進めないけど、解があるのに解けないのはどうにもクヤシイので。

とりあえず脊尾さんのGPW99の資料を何とか手に入れて、証明駒、反証駒の処理を入れてみました。
正解が少し増えたのはよかったんですが、一部解答を間違えるようになってしまいました…。

追加した処理が悪さをしているのか、処理を追加することで元々あったバグが顕在化したのか、うーん。
あと、一部の解けない問題はGHI対策と証明数ダブルカウント対策をちゃんと入れないとやっぱりダメっぽい。

謎電4番はいつになったら解けるのか…。