EDAF15: Fourier–Motzkin elimination