<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:Calibri
}
--></style></head>
<body class='hmmessage'><div dir='ltr'><font face="Calibri,sans-serif" size="3" style="font-size:12pt;" color="#000000">Dear SCIP users,</font><div><br></div><div><div>I am implementing my own constraints using the constraint handler as explained in the TSP example of SCIP,</div><div>The problem I am facing is the feasibility checking with my own constraints, which they don't include problem variables in their scope, but use them to check the feasibility of other given information, </div><div>In order to see if SCIP respond to my constraints, I set the callback function scip_check returns always infeasible. In solving stage, SCIP detects the infeasibility, but after that it prints solutions that ignore my constraints.</div></div><div><br></div><div>I want to know what is going on inside SCIP ! it detects infeasibility but rather prints infeasible solutions.</div><div><br></div><div>Thanks in advance for any explanations.</div><div>---</div><div>A. Ouali</div> </div></body>
</html>