Anfonwch hwn fel neges destun: Constraint reasoning for differential models