Umair Sindhu

Respected Sir  Thank you so much for your response. I forgot to mention that actually I want to minimize the distance d, and want to find a suitable Dalta0 and Dalta1 as well. So I can't replace it...

Right Sir, I got it. Thank you so much.

Thank you, Sir.  The modulus operator relationship is part of my little big problem, which got a couple of more dimensions, and a couple of more relations.  Sir, as I can define a dimension x, by a...

Sir x and y are my two geometrical dimensions not the lists, which I can define with the following constraints  x >= 0  x <= n  y >= 0  y <= 3  I am considering only integer points of these dimensi...

Got it, Sir. Thank you. I am just wondering, as my set x = {0,1,..,n}, has n elements. This single constraint x == 4*x + y  will evaluate for each value of x?      

Thank you so much for the response, Sir.  How to deal with u in the constraint x = 4u + y, for an optimization problem?  Let suppose we have set of x and y as fellows x = {0,1,....,n}  and y ={0,1,...

Thank you so much, Sir. Actually I have solved successfully this problem with SCIP solver, and Gurobi Python as well. I am getting quantifier-free formula first by using the Affine form of Farkas L...

Sorry Sir, it's my bad. In fact, I was trying to write a very simple example. Actually I want to solve the following problem.  Here Pi and Sigma are known relations. Whereas Delta relation is unkn...