Hi Lior

Infer.NET is not set up to solve geometric problems, so this is likely the wrong tool for you.

As regards the uniform over a range - this is not supported - for the most part Infer.NET supports only conjugate priors. However, you can put additional constraints on the random variables to lie within a certain range. I am not clear on what you mean by
'drawn from a set of values' - if you are saying a discrete distribution over real values, this is also not possible.

As regards the geometric constraints. Having one of the coordinates the same is very easy, but having a distance constraint is difficult, and you would need to write a new distance factor.

Given the mismatch, I won't give any example code for now, unless you want to pursue this further.

John