fme (racket): Fourier-Motzkin elimination for integer inequality satisfiability
Keywords: math