এই পাঠটি: Constraint reasoning for differential models