Qual è la libreria di ottimizzazione convessa più veloce per risolvere LP di medie dimensioni (< 1000 var), idealmente ogni pochi secondi con ingressi aggiornati? Punti bonus per partenze a caldo e open source.