A wee solver for linear inequalities based on Fourier-Motzkin elimination.