Note that a constraint is composed of a constraint expression and forall sets expression.
ConstraintExpr expr = demand[i] <= sum(over(j), x[i, j]);
Constraint con = forall(i) | demand[i] <= sum(over(j), x[i, j]);
public static ConstraintExpr operator <=(
Sca lhs,
MathExpr rhs
)