Pātuhitia tēnei: Constraint reasoning for differential models