שליחה במסרון: Constraint reasoning for differential models