Sol (format)
Encyclopedia
sol is a file format for representing solutions of mathematical programming
problems. 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
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.
Mathematical Programming
Mathematical Programming, established in 1971, and published by Springer Science+Business Media, is the official scientific journal of the Mathematical Optimization Society. It currently consists of two series: A and B. The "A" series contains general publications. The "B" series focuses on topical...
problems. It is often used in conjunction with the nl format
Nl (format)
nl is a file format for presenting and archiving mathematical programming problems. It supports linear and nonlinear optimization problems as well as complementarity problems , in discrete or continuous variables...
to return solutions from the solvers. Initially this format has been invented for connecting solvers to AMPL
AMPL
AMPL, an acronym for "A Mathematical Programming Language", is an algebraic modeling language for describing and solving high-complexity problems for large-scale mathematical computation AMPL, an acronym for "A Mathematical Programming Language", is an algebraic modeling language for describing and...
but then it has been adopted by other systems such as FortSP
FortSP
FortSP is a software package for solving stochastic programming problems. It solves scenario-based SP problems with recourse as well as problems with chance constraints and integrated chance constraints...
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
CPLEX
IBM ILOG CPLEX Optimization Studio is an optimization software package. In 2004, the work on CPLEX earned the first ....
, Gurobi
Gurobi
Gurobi is a commercial software package for solving large-scale linear optimization, quadratic optimization, and mixed-integer optimization problems...
and MOSEK
MOSEK
MOSEK is a software package for the solution of linear, mixed-integer linear, quadratic, mixed-integer quadratic, quadratically constraint, conic and convex nonlinear mathematical optimization problems. The emphasize in MOSEK is on solving large scale sparse problems. Particularly the...
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
- nl (format)Nl (format)nl is a file format for presenting and archiving mathematical programming problems. It supports linear and nonlinear optimization problems as well as complementarity problems , in discrete or continuous variables...
– a file format for presenting mathematical programming problems