Vol.3, No.8.

Highlights of SAT 20222 & SAT competition 2022

更新忘れていたわけではなくて、SAT Competition 2022の結果を待っていたら10日を過ぎてしまった。 SAT 2022の方は開催中の8月5日には ただで入手できて、

• Alexander Nadel, Introducing Intel SAT solver
• Armin Bierre et al, Migrating Solver State

あたりがまあ読んでみようかなという感じ。

でCompetitionの方だけど、今に始まった事ではないけど、まあ, Cadical, Kissat、若干のその他という有様。 以前はチラホラ見られたC++以外の言語で記述されたソルバーもないようで、なんとかならんのか。

Splr

rustのバージョン上げたらclippyにいくつか指摘されたのでそれらを修正しました。 f64::total_cmpはやった、と思ったのだけどいつの間にか浮動小数点数に基づくソートは使っていなかったのでした。

8月

Advent of Code 2017やってからbinary clauseのことを考えようかと思う。それとarenaのことも再度検討してみよう。 0.16のリリース予定はなし。