Style fix in polyhedral constraints.
Changed "restriction" to "constraint" in ILP formulation to be consistent with the usual vocabulary.