Z(x)=-2x1-4x2+5x3-7x4→max
x1-3x2+5x3+4x4≤12
2x1+4x2-x3+3x4≤7,
xi≥0, xi-целые.

http://math.semestr.ru/simplex/integer.php