2020-09-02
まず reason side の理解が正しくなかったことがわかった。
Choose any cut in the conflict graph that has all decision variables on one side, called the reason side, and $ \overline \Lambda as well as at least one conflict literal on the other side, called the conflict side.
とのことであった。私は reason side にすべての decision variable が入っていることを保証しなければいけないことを知らなかったので、一連のバグが起きていたのだと言える。このコミットによって修正された。