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