Văn bản này: Constraint reasoning for differential models