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.

Sol (format)
Filename extension
.sol
Developed byRobert Fourer
David Gay
Brian Kernighan
Bell Labs
Type of formatmathematical 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
  1. ^ David Gay (2005). Writing .nl Files (Technical report). Albuquerque, NM: Sandia National Laboratories. CiteSeerX 10.1.1.60.9659.
  2. ^ David Gay (1993). Hooking Your Solver to AMPL (PDF) (Technical report). Murray Hill, NJ: Bell Laboratories. 97-4-06.
  3. ^ AMPL/MP, AMPL, retrieved 2023-10-24