Алгоритм решения систем линейных неравенств

У меня есть k линейных неравенств с n переменными (0 < k < n ). Меня не особенно волнует, что такое набор решений, я только хочу проверить, пуст он или нет, то есть удовлетворяет ли система любое присвоение моим n переменным. Кто-нибудь знает, как это решить?

Спасибо!