! Bronson, p 56, prb6.2
! z_max = 12; X = (0, 3)
MAX 3 x1 + 4 x2
SUBJECT TO
2 x1 + x2 <= 6
2 x1 + 3 x2 <= 9
END
! Now, the first {no. of} variables are integer
GIN 2
! GIN x1
! GIN x2