| Extensión de nombre de archivo | .Sol |
|---|---|
| Desarrollado por | Robert Fourer David Gay Brian Kernighan Bell Labs |
| Tipo de formato | programación matemática |
sol es un formato de archivo para representar soluciones de problemas de programación matemática . [1] A menudo se utiliza junto con el formato nl para devolver soluciones de los solucionadores. Inicialmente, este formato se inventó para conectar solucionadores a AMPL [2], pero luego otros sistemas como FortSP lo adoptaron para interactuar con solucionadores externos.
El formato de sol es de bajo nivel y está diseñado para ser compacto, no para legibilidad. Tiene representación binaria y textual. Muchos solucionadores como CPLEX , Gurobi y MOSEK pueden producir archivos en este formato ya sea directamente o mediante programas controladores especiales.
La biblioteca AMPL Solver Library (ASL), que permite, entre otras cosas, leer y escribir archivos sol, es de código abierto. Se utiliza en muchos solucionadores para implementar la conexión AMPL.
Ver también
- nl (formato) : un formato de archivo para presentar problemas de programación matemática
Referencias
- ^ David Gay (2005). Redacción de archivos .nl (informe técnico). Albuquerque, NM: Sandia National Laboratories . CiteSeerX 10.1.1.60.9659 .
- ^ David Gay (1993). Conexión de su solucionador a AMPL (PDF) (informe técnico). Murray Hill, Nueva Jersey: Bell Laboratories . 97-4-06.
