A finite domain constraint for multiplication and thus division. x, y & product must be eventually be given domains if vars.