Нужна программа симплекс-метод с проверкой на целочисленность методом ветвей и границ, может встречали. Хотя и очень редкая