Typo fix in constraint list for ILP formulation.
Changed a bit of text to be somewhat more formal in the ILP formulation.