$title Williams: Chapter 6, infeasible model

variables x1,x2,x3;

equations eq1,eq2,eq3;

eq1.. x1 - x2 =g= 1;
eq2.. x2 - x3 =g= 1;
eq3.. -x1 + x3 =g= 1;

model infeas /all/;

option lp = bdmlp;
solve infeas using lp minimizing x1;

display infeas.modelstat;