Αποστολή με SMS: Constraint reasoning for differential models