Originally posted by: sandeepsinghchauhan

One Way

forall(dv in DV){
(XPnew[dv] == 0) == (sum(t in R)nR[<dv.p,t>] == 0);
(XPnew[dv] == XP[dv]) == (sum(t in R)nR[<dv.p,t>] == 1);
}

"no feasible solution''

Other way

forall(dv in DV){

(sum(t in R)nR[<dv.p,t>] == 0) =>(XPnew[dv] == 0);
(sum(t in R)nR[<dv.p,t>] == 1) => (XPnew[dv] == XP[dv]);

}

"getting result"

Are they both constraints same? equivalent and imply

please help

Hi,

if XP is 0 then the first constraints cannot be true, it would lead to 0==1 whereas no problem with the second constraints

regards