我有一个简单的混合整数线性规划问题，除了一些约束的形式$f(x_1,x_2,x_3,\ldots,x_n) < c$， 在哪里$f$是'取最大坐标的最大值和所有较小坐标的和'

在口齿不清：

(defn f [& l]
  (let [sl (reverse (sort l))]
    (max (first sl) (reduce + (rest sl)))))

(f 1 2 3 4 5) -> 10

在三个维度中，例如，我想我可以将其改写为$f<10$作为

(defn constraint [x,y,z]
  (or
   (and (<= x 10)
        (<= (+ y z) 10))
   (and (<= y 10)
        (<= (+ x z) 10))
   (and (<= z 10)
        (<= (+ x y) 10))))

这显然是联合$3$（或者$n$) 凸物体（棱镜）。

这种类型的约束有名称吗？是否有解决此类问题的技术和软件包？