<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" id="owaParaStyle"></style>
</head>
<body fpstyle="1" ocsi="0">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;"><span style="font-size: 13.3333px;">Hi SCIP community,</span>
<div><span style="font-size: 13.3333px; text-indent: -53px;">I'm trying to find the </span><span style="text-indent: -53px; color: rgb(128, 0, 0); font-size: 13px; line-height: 13px; white-space: pre-wrap; background-color: rgb(251, 252, 253);">priority parameter
of the quadratic constraint handler for separation in the list of SCIP parameters provided in "</span><font color="#800000" style="font-size: 13.3333px; text-indent: -53px;"><span style="font-size: 13px; line-height: 13px; white-space: pre-wrap;">http://scip.zib.de/doc/html/PARAMETERS.php"
but I can't. However the parameter is there in source code file "</span></font><span style="font-size: 13.3333px; text-indent: -53px; line-height: 19px; background-color: rgb(249, 250, 252);"><font size="2">cons_quadratic.c"</font></span><span style="text-indent: -53px; font-size: 13px; line-height: 13px; white-space: pre-wrap; color: rgb(128, 0, 0);">
of the constraint handler with the name "</span><span style="text-indent: -53px; color: rgb(128, 96, 32); font-family: monospace, fixed; font-size: 13px; line-height: 13px; white-space: pre-wrap; background-color: rgb(251, 252, 253);">CONSHDLR_SEPAPRIORITY</span><span style="text-indent: -53px; color: rgb(128, 0, 0); font-size: 13px; line-height: 13px; white-space: pre-wrap;">".
Does its absence from the parameter list mean that the priorities of separating cuts of different constraint handlers cannot be changed?</span></div>
<div><span style="text-indent: -53px; color: rgb(128, 0, 0); font-size: 13px; line-height: 13px; white-space: pre-wrap;"><br>
</span></div>
<div><span style="text-indent: -53px; color: rgb(128, 0, 0); font-size: 13px; line-height: 13px; white-space: pre-wrap;">Regards,</span></div>
<div><span style="text-indent: -53px; color: rgb(128, 0, 0); font-size: 13px; line-height: 13px; white-space: pre-wrap;">Ahmed</span></div>
<div>
<div style="text-indent: -53px;"><font color="#800000"><span style="font-size: 13px; line-height: 13px; white-space: pre-wrap;"><br>
</span></font></div>
<div style="font-size: 13.3333px; text-indent: -53px;"><span style="color: rgb(128, 0, 0); font-size: 13px; line-height: 13px; white-space: pre-wrap;">Ahmed</span></div>
<div style="font-size: 13.3333px; text-indent: -53px;"><span style="color: rgb(128, 0, 0); font-size: 13px; line-height: 13px; white-space: pre-wrap;"><br>
</span></div>
<div style="font-size: 13.3333px; text-indent: -53px;"><span style="color: rgb(128, 0, 0); font-size: 13px; line-height: 13px; white-space: pre-wrap;"><br>
</span></div>
<div style="font-size: 13.3333px; text-indent: -53px;"><span style="color: rgb(128, 0, 0); font-size: 13px; line-height: 13px; white-space: pre-wrap;"><br>
</span></div>
<div style="font-size: 13.3333px; text-indent: -53px;"><span style="color: rgb(128, 0, 0); font-size: 13px; line-height: 13px; white-space: pre-wrap;"><br>
</span></div>
<div style="font-size: 13.3333px; text-indent: -53px;"><span style="color: rgb(128, 0, 0); font-size: 13px; line-height: 13px; white-space: pre-wrap;"><br>
</span></div>
<div style="font-size: 13.3333px; text-indent: -53px;"><span style="color: rgb(128, 0, 0); font-size: 13px; line-height: 13px; white-space: pre-wrap;"><br>
</span></div>
<div style="font-size: 13.3333px; text-indent: -53px;"><font color="#800000"><span style="font-size: 13px; line-height: 13px; white-space: pre-wrap;"><br>
</span></font></div>
</div>
</div>
</body>
</html>