Constraint Reasoning for Differential Models (Frontiers in Artificial Intelligence and Applications)