やったこと

SATソルバ

trail savingについて学んでいた。
アイディア自体は単純なのだな、と思う。
やはりリスタート以降は劇的に高速化しそうなアイディアは無いのかもなぁと感じていた。