I have a (possibly stupid) question about the Infer.NET syntax. Suppose I want to state the constraint that all n variables are in an interval of size 2*epsilon. However, I don't want a quadratic number of boolean variables lying around. The natural thing
to do would be to create another variable (center of the interval) with

Variable<double> x = Variable.New<double>();

and then specify x by adding either constraints like

Variable.IsBetween(a[i], x - eps, x + eps)

or Boolean variables with the same effect. However, this gives an error "variable x has no definition". What would you advise me to do in this case? Thank you!