Re: Reformulation of Logical Constraint to Integer Programming Constraint Source: Re: Reformulation of Logical Constraint to Integer Programming Constraint