J'aurais besoin de calculer sup { c(p1, p2, ...)^T*x | Ax<=b } où c est une fonction affine linéaire en p1, p2... comme une fonction continue affine linéaire par morceaux explicitement représentée (arbre if-then-else ou similaire).

Quels logiciels conseiller, à part la Piplip (*)?

(*) Je n'ai rien contre la Piplib, mais c'est juste que je la connais déjà.