<div dir="ltr">Hello SCIP folks,<div><br></div><div>I was just curious which approach SCIP uses to translate "vif" statements into linear constraints? Documentation mentions that it will generate additional constraints and variables, but where can I get some more details about it?</div>


<div><br></div><div>Thanks!</div><div><br></div><div>-Z</div></div>