3.7.217. Scalar product

A constraint that can be used for modelling a scalar product constraint.