This is the reified form of scalar_product/4, which constrains the scalar product of the elements in Coeffs and Collection to satisfy the relation sum(Coeffs*Collection) Rel P.
Rel can be one of #>, #>=, #<, #=<, #=, #\= (or equivalently, >, >=, <, =<, =, \=).
Any input variables which are not already domain variable will be turn into domain variables with default bounds.
ConsistencyModule is the optional module specification to give the consistency level for the propagation for this constraint: gfd_bc for bounds consistency
This constraint is implemented using Gecode's linear() constraint (reified version).