Solve linear modulus inequalities (#327)