Constraint Detection

A sequence labeler marks the words of a natural language problem description that state constraints, a first step from informal text to formal models.