Maximize

x_0_0 + x_0_1 + x_1_0 + x_1_1 + x_2_0 + x_2_1 + x_3_0 + x_3_1 + x_4_0 + x_4_1


Subject To

a0: x_0_0 + x_0_1 <= 1
a1: x_1_0 + x_1_1 <= 1
a2: x_2_0 + x_2_1 <= 1
a3: x_3_0 + x_3_1 <= 1
a4: x_4_0 + x_4_1 <= 1
b0: 2 x_0_0 + 4 x_1_0 + 3 x_2_0 + 1 x_3_0 + 6 x_4_0 <= 4
b1: 2 x_0_1 + 4 x_1_1 + 3 x_2_1 + 1 x_3_1 + 6 x_4_1 <= 6
c0: x_0_0 + x_2_0 <= 1
c1: x_0_1 + x_2_1 <= 1
c2: x_0_0 + x_3_0 <= 1
c3: x_0_1 + x_3_1 <= 1
c4: x_0_0 + x_4_0 <= 1
c5: x_0_1 + x_4_1 <= 1
c6: x_1_0 + x_2_0 <= 1
c7: x_1_1 + x_2_1 <= 1
c8: x_1_0 + x_4_0 <= 1
c9: x_1_1 + x_4_1 <= 1
c10: x_2_0 + x_0_0 <= 1
c11: x_2_1 + x_0_1 <= 1
c12: x_2_0 + x_1_0 <= 1
c13: x_2_1 + x_1_1 <= 1
c14: x_2_0 + x_4_0 <= 1
c15: x_2_1 + x_4_1 <= 1
c16: x_3_0 + x_0_0 <= 1
c17: x_3_1 + x_0_1 <= 1
c18: x_3_0 + x_4_0 <= 1
c19: x_3_1 + x_4_1 <= 1
c20: x_4_0 + x_0_0 <= 1
c21: x_4_1 + x_0_1 <= 1
c22: x_4_0 + x_1_0 <= 1
c23: x_4_1 + x_1_1 <= 1
c24: x_4_0 + x_2_0 <= 1
c25: x_4_1 + x_2_1 <= 1
c26: x_4_0 + x_3_0 <= 1
c27: x_4_1 + x_3_1 <= 1




Binary

x_0_0 x_0_1 x_1_0 x_1_1 x_2_0 x_2_1 x_3_0 x_3_1 x_4_0 x_4_1

 


End