Hmm. I don't know much about linear programming (I've been waiting for someone else to chime in.) However, it does seem to me that one of the first principles of it is that you are generally dealing with a convex feasible region. The modular arithmetic constraint you have there does not describe a convex region at all. Ergo, I would say you are no longer in the linear programming regime. But that's my highly inexpert opinion.