Text this: Constraint reasoning for differential models