<div dir="ltr">Hi,<div><br></div><div>I am a new user of pyscipopt and try to add a constraint for two integers with <b> x!=y </b>for decision optimization.</div><div><br></div><div>As scip  seems to only  "support constraints with '<=', '>=', or '=='", I could not use model.addCons(x!=y).</div><div><br></div><div>If use addConsOr likes</div><div><br></div><div> x = model.addVar("x", "I")<br> y = model.addVar("y", "I")<br> r = model.addVar("r", "B")<br> model.addConsOr([x>=y+1, x<=y-1],r)<br></div><div><br></div><div>there is  "segmentation fault" error. </div><div><br></div><div>How can I add constraint for x!=y ?  Thanks. </div><div><br></div><div><br></div></div>