Implementation of Fourier-Motzkin Elimination (1994)

by Aart J. C. Bik, Harry A. G. Wijshoff