发送短信: Constraint reasoning for differential models