やったこと

SATソルバー

SATLIB Benchmark ProblemにあるUniform 3-SATのuf250-1065/uuf250-1065を全部実行して時間を計測したり、実行時間を比較したりするスクリプトを書いた。
ついでにこれまでのバージョンのスナップショットもリポジトリに追加することで、過去のバージョンの挙動を確認しやすいようにした。
あまりに簡単に実行時間が変化するのでこういった仕組みが無いと開発が困難な気がする。

そして、この仕組みによってwatcherの追加とblocker literalの追加が上手く機能していることが分かった。
遅くなる部分もあるのだが、平均的にはちゃんと早くなっているっぽい。
難しいなぁ。