Describir: Constraint reasoning for differential models /