sol is a file format for representing solutions of mathematical programming problems.[1] It is often used in conjunction with the nl format to return solutions from the solvers. Initially this format has been invented for connecting solvers to AMPL[2] but then it has been adopted by other systems such as FortSP for interacting with external solvers.
| Filename extension |
.sol |
|---|---|
| Developed by | Robert Fourer David Gay Brian Kernighan Bell Labs |
| Type of format | mathematical programming |
The sol format is low-level and is designed for compactness not for readability. It has both binary and textual representation. Many solvers such as CPLEX and MOSEK can produce files in this format either directly or through special driver programs.
The AMPL Solver Library (ASL) which allows among other things to read and write the sol files is open-source. It is used in many solvers to implement AMPL connection.
AMPL/MP Library[3] contains an NL writer and SOL reader.
See also
edit- nl (format) – a file format for presenting mathematical programming problems
References
edit- ^ David Gay (2005). Writing .nl Files (Technical report). Albuquerque, NM: Sandia National Laboratories. CiteSeerX 10.1.1.60.9659.
- ^ David Gay (1993). Hooking Your Solver to AMPL (PDF) (Technical report). Murray Hill, NJ: Bell Laboratories. 97-4-06.
- ^ AMPL/MP, AMPL, retrieved 2023-10-24