Vol.1, No.10.

相変わらず停滞中

リリースしたり夏休みの宿題をしたりするはずだった9月、10月が過ぎ、相変わらず停滞中です。

Monotonusにするついでのリスタートパラメータの設定が泥沼。それでも、少なくとも

という内部的なそれなりの変更はコミット済み。しかし、あまりに長い膠着状態なので、これ以上色々なアイデアを導入するのは一旦放棄しました。

いやー全然ダメだわ。数十秒で解けたというのが信じられない。これもベンチマークの対象に入れて、一ヶ月色々なパラメータで試してみたけど約10040変数からの停滞から脱出できない。

試行錯誤に時間を取られていまだにキャッチアップできていません。これは今年中にしなければ。

上に同じ。これもSAT問題のよりよい理解はソルバー開発にプラスのはずなんだけど、全く研究マネージメントの失敗です。これも今年中にしなければ。

ということでSplr-0.5.1を10日以内になんでもいいからリリースして（とは言え0.5.0より遅いものをリリースするわけにはいかないのでrelease blockerが厳然と立ちはだかっている）、今年の開発は一旦フリーズして積み残しの課題をしようと思います。もう二ヶ月しか残ってないのだ。。。

Published at 2020-10-31