أرسل هذا في رسالة قصيرة: Constraint reasoning for differential models