<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'>Dear SCIP users,<div><br></div><div>I have a constraint as follow :</div><div><br></div><div>Y=1 <-> Ct Xt = 0</div><div>where :</div><div>Y : is binary variable</div><div>Xt : is binary set of binary variables</div><div>Ct : is constant (coefficient) associated to each Xt</div><div> </div><div>I had some problems to formulate it in SCIP, since there is equivalence </div><div>between to linear constraints</div><div><br></div><div>Can you give some help to implement it ?</div><div><br></div><div>---</div><div>A. Ouali</div> </div></body>
</html>