Arithmetic constraints and expressions Arithmetic constraints and expressions may consist of linear and nonlinear arithmetic terms.