Seol mar théacs é seo: Program does not equal program: Constraint programming and its relationship to mathematical programming