Pošalji tekstualnu poruku: Constraint reasoning for differential models