Vol.2, No.5.

vivificationの4月

Clause vivificationのバグが取れない4月でした。 これに尽きる。 一体何が起きているのやら。

UNSAT certificateの問題だけではなく、時々充足性判定すら間違うという状況が一ヶ月続いていて、一向に改善すら見られぬ状況。 しかし、これの解決なくして先に進むこともままならないわけで。 というわけでこれ以上今月は言うことなし。 強いて言うなら自分のメモも兼ねて、片っ端からbugをissue化していったくらい。まあこれはいいgithubの使い方なんだろう。まさに日記代わり。

• https://github.com/shnarazk/splr/issues/96
• https://github.com/shnarazk/splr/issues/104
• https://github.com/shnarazk/splr/issues/105
• https://github.com/shnarazk/splr/issues/106
• https://github.com/shnarazk/splr/issues/107
• https://github.com/shnarazk/splr/issues/108
• https://github.com/shnarazk/splr/issues/109

5月の予定

5月もclause vivificationの理解を深めるのみ。そのうち、バグが取れていることを期待するのみ。