FIM_example

. Added the whole FIM Example
. Added fourmotz.m for Fourier-Motzkin Elimination