Telefona gönder: Constraint reasoning for differential models