USolver

Un servidor para resolver problemas de optimización combinatoria, convexa, entera y no lineal.

Documentación

USolver

Este proyecto ya no se mantiene.

Me he mudado a trabajar en OneChronos, por lo que ya no desarrollo ni doy soporte a USolver. El repositorio ha sido archivado y permanecerá disponible en modo de solo lectura para quien lo encuentre útil.

Si este tipo de trabajo te interesa (optimización combinatoria, solvers SMT/convexos, métodos formales, herramientas de modelos de lenguaje para problemas matemáticos), OneChronos está contratando. Echa un vistazo a la página de carreras.