SAT competition 2023

 結果が出ました。毎年楽しみにしているのですが、今年は、プリプロセッサのイノベーションがあったようです。

にしても、KissatよりCadicalの方が良い理由が分かりませんでした。いずれにせよ、来年以降ポートフォリオソルバで採用されていくのは、間違いないと思います。