Hi I have difficulty understand the following code, can anyone help to explain? Thanks in advance!
model.AddBoolOr(x, y.Not(), b)
model.AddImplication(b, x)
model.AddImplication(b, y)
It is most likely wrong. It should be x.Not()
in the AddBoolOr()
.
It encodes b <=> x && y
.