sol (format)

From Wikipedia, the free encyclopedia
Jump to: navigation, search
For other uses, see .sol.
Sol (format)
Filename extension .sol
Developed by Robert Fourer
David Gay
Brian Kernighan
Bell Labs
Type of format mathematical programming

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.

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, Gurobi 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.

See also[edit]

  • nl (format) – a file format for presenting mathematical programming problems


  1. ^ David Gay (2005). Writing .nl Files (Technical report). Albuquerque, NM: Sandia National Laboratories. CiteSeerX accessible. 
  2. ^ David Gay (1993). Hooking Your Solver to AMPL (PDF) (Technical report). Murray Hill, NJ: Bell Laboratories. 97-4-06.