やったこと

MD

WCS優勝デッキのトライアルをやっていた。
ライゼオルを使ったのだけど、やたらと増Gとフワロスを投げられて苦戦していた。
7戦中7戦投げられたのでつらい。コイントス3-4で勝率も3-4。苦しい。

ディスカバリー

スターリーを全回収して、ラスボスを倒すところまでやった。
バルフレイナイトがつよすぎるのでラスボス戦も難無くクリアしてしまった。
縛った方がいいかもしれない。

あとやることはボスラッシュくらいなのだけど、そこまでやる気が沸いていない。
そもそも操作が下手になっているので、勘を取り戻すまでやれる気がしていない。
どうしたものか。

SATソルバ

これまで発見した単位節をキューに追加して管理していたのだけど、MiniSATと同様に trail に追加した値をキューとして使うように修正した。
この修正によって、発見した単位節が即座にモデルに反映されるようになったので、効率が良くなったように見える。
あと、一応メモリ効率などもよくなったのではないかと。

同じくMiniSATのように watcher に blocker を持たせるようにして、それを使って単位伝播の処理を早めに回せるようにする最適化も実装してみた。
が、監視リテラルが移るごとにアロケーションが起こるのが許容できない気がしたので、今のところは取り入れてはいない。
どうしても必要になったらメモリプールと共に実装するかもしれない。