Here’s a little problem for y’all, how do I decide if the following equation has a solution?
y1 < a1×1 + a2×2 + … + anxn < y2
or rather more generally Ax < y where A is a mxn matrix, x is a vector of size n and y is a vector of size m. x is constrained to be all integers.
where all unknowns x are constrained to being integers but all y and a may be any real number.
Been pondering this on and off for a bit now and I finally found a solution and am in the middle of implementing it. Answer to come. ;-)