Seol mar théacs é seo: Constraint reasoning for differential models