Գրեք սա: Constraint reasoning for differential models