Algorithm for solving systems of linear inequalities

Question

I have k linear inequalities in n variables (0 < k < n). I don\'t particularly care what the solution set is, I only want to test whether or not it\'s empty - i.e. wh

Answer 1

Use a SMT solver for the theory of linear arithmetic (Yices, Z3, ...). These programs are designed to find models for the input you specified. Of course, you can also benefit from the existing algorithms in other ways.