Thu, 10 Feb 2005 18:53:30 +0000trying to add constraints of kind 1 <= x[2]+x[3] <= 4
marci [Thu, 10 Feb 2005 18:53:30 +0000] rev 1144
trying to add constraints of kind 1 <= x[2]+x[3] <= 4