q5_ampl_for_2nd_ques.run

reset;

var x0 integer;
var x1 integer;
var x2 integer;
var x3 integer;

maximize z: x0 + x1 + x2 + x3;

s.t. c1: x0 <= 1;
s.t. c2: x0 + x1 + x2 <= 1;
s.t. c3: x1 + x3 <= 1;
s.t. c4: x2 + x3 <= 1;
s.t. c5: x0 >= 0;
s.t. c6: x1 >= 0;
s.t. c7: x2 >= 0;
s.t. c8: x3 >= 0;

option solver cplex; 
solve; 
display z, x0, x1, x2, x3;