Есть ли хорошие инструменты для решения целочисленных программ в Linux?

У меня есть небольшая проблема, которую я хочу вычислить, чтобы сэкономить время: D. Это своего рода проблема подмножества сумм. У меня есть список из приблизительно 20 целочисленных значений, и я хочу вычислить подмножество с наименьшей суммой, которая удовлетворяет определенному минимуму. Вы могли бы сформулировать это с помощью целочисленной программы ... что-то вроде

\sum_{i=1}^{n} w*x -> min

с

\sum_{i=1}^{n} w*x >= c with x \in \{0,1\}

Или есть другой хороший способ сделать это?