Fourier-Motzkin elimination An implementation in C of Fourier-Motzkin elimination, determining if a linear system has a solution or not.