Vol.3, No.9.

Splr-0.16.0, Splr-0.16.1 and Splr-0.16.2

0.16のリリース予定はなし、だったのだがincremental_solver関連でissueが立ってしまったので修正して0.16.0をリリースしました。 cargo publishしたら新たにsubcrateとして追加したものが同名のcrateと関連づけられてしまうことがわかったので名前を変えて0.16.1としリリースしたら 今度はlocal crateを参照するものはcrates.ioに登録できないことが判明。 sub crateかするのをやめるタイミングでもう一つissueが立ったのでそれも修正して0.16.2としてrelease & publish。 久しぶりにゴタゴタしてしまいました。

いやーincremental sovlerの機能はしばらく見てなかったのでちょっとは気になっていたんだけど、 案の定こういうことになってしまった。 残念なことにclause eliminationとの論理的整合性を取るのは大変に難しそうだったので、 incremental_solverではprocessorは切らざるを得ないという結論になってしまった。 まあしょうがない。

ちなみに検証のためのcadicalやkissatを使ったのだけど、桁違いに速いわけではないなあと不遜にも思いました。

9月

Advent of Codeを完走してしまったので！！、まあ本業に戻らねば。 何が本業かというのは問題だが、webサービスの開発ではないな。あほくさ。