やったこと

SATソルバ

一旦、開発を進めるのではなく色々なSATソルバ実装の詳細を学んでいた。
CaDiCaLとかすごい実装だと思うのだが、中々詳細が理解できない。MiniSATと比べると難しいなぁ。

CaDiCaL辺りから現代的なSATソルバと呼べるものになっているのだということが分かった。
いつかこういうソルバも作ってみたいが‥‥。まずはextended resolutionを理解しないとなぁ。