another solver of 2020

もう今年のcompetition終わっていた。

https://www.msoos.org/2020/07/cryptominisat-5-8-0-released/

• Guass-Jordan Elimination とは? 変数ペアを作るのだろうか？ XOR制約がわかってないが他のソルバではどうなんだろう
• CaDiCaL風のtarget phase。やはりやる価値があるのか。読み間違えているかなあ。
• Local search solver -- ふーむ、ここはまだ全然手を付けてない

どうも、次に手をつけるべきは、うーむlocal search solverかなあ。