<div dir="ltr"><div class="gmail_extra">Dear SCIP team,</div><div class="gmail_extra"><br></div><div class="gmail_extra">I am using scipampl, and as fas as I am concerned, there is no way yet to set SCIP options from an AMPL code. For that reason, I am using the scip.set options file.</div><div class="gmail_extra"><br></div><div class="gmail_extra">There are four options which I would like to set, and this is how it is done in the interactive shell:</div><div class="gmail_extra"><br></div><div class="gmail_extra"><span class="im" style="font-size:12.8000001907349px"><p style="margin-bottom:0px;margin-top:0px;color:rgb(0,0,0);font-family:Tahoma;font-size:13.3333330154419px">set separating emphasis aggressive</p><p style="margin-bottom:0px;margin-top:0px;color:rgb(0,0,0);font-family:Tahoma;font-size:13.3333330154419px">set heuristics emphasis aggressive</p><p style="margin-bottom:0px;margin-top:0px;color:rgb(0,0,0);font-family:Tahoma;font-size:13.3333330154419px">set presolving emphasis aggressive</p></span><p style="margin-bottom:0px;margin-top:0px;color:rgb(0,0,0);font-family:Tahoma;font-size:13.3333330154419px">set emphasis feasibility</p><p style="margin-bottom:0px;margin-top:0px;color:rgb(0,0,0);font-family:Tahoma;font-size:13.3333330154419px"><br></p><p style="margin-bottom:0px;margin-top:0px;color:rgb(0,0,0);font-family:Tahoma;font-size:13.3333330154419px">However, these are meta-options and do not exist directly in the scip.set file. Is there a way to know which options I must set and which values each option must have in order to emulate the meta-options above?</p><p style="margin-bottom:0px;margin-top:0px;color:rgb(0,0,0);font-family:Tahoma;font-size:13.3333330154419px"><br></p><p style="margin-bottom:0px;margin-top:0px;color:rgb(0,0,0);font-family:Tahoma;font-size:13.3333330154419px">Thank you very much,</p><p style="margin-bottom:0px;margin-top:0px;color:rgb(0,0,0);font-family:Tahoma;font-size:13.3333330154419px">Cristiano</p><p style="margin-bottom:0px;margin-top:0px;color:rgb(0,0,0);font-family:Tahoma;font-size:13.3333330154419px"><br></p><p style="margin-bottom:0px;margin-top:0px;color:rgb(0,0,0);font-family:Tahoma;font-size:13.3333330154419px"><br></p></div></div>