この資料をSMS送信: Constraint reasoning for differential models