¿Cuál es la biblioteca de optimización convexa más rápida para resolver LP de tamaño mediano (< 1000 vars), idealmente cada pocos segundos con entradas actualizadas? Puntos de bonificación por arranques en caliente y código abierto.