RobPratt .. Thank you for the detailed reply. That was really helpful. Regarding the questions in your post.. 1. "But note that the CLP solver requires all variables to be integer, and I don't know whether your v and w have that restriction."      In my problem, v and w are real numbers 2. "There is a bit of ambiguity in the problem statement.  Does "fail these constraints" mean fail all constraints or fail at least one constraint?"     You have it right. "Fail these constraints" means "Fail at least one constraint". Thanks for your help. Siva ... View more