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

References

^ 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

Mathematical optimization software

Data formats

Modeling tools

Solvers

LP, MILP^∗	APOPT^∗ ANTIGONE^∗ Artelys Knitro^∗ BCP^∗ CLP CBC^∗ CPLEX^∗ FortMP^∗ GCG^∗ GLOP^∗ GLPK/GLPSOL^∗ Gurobi Optimizer^∗ HiGHS^∗ LINDO^∗ Lp_solve LOQO Mathematica MINOS MINTO^∗ MOSEK^∗ NAG SCIP^∗ SoPlex Octeract Engine^∗ SYMPHONY^∗ Xpress Optimizer^∗
QP, MIQP^∗	APOPT^∗ ANTIGONE^∗ Artelys Knitro^∗ CBC^∗ CLP CPLEX^∗ FortMP^∗ HiGHS Gurobi Optimizer^∗ IPOPT LINDO^∗ Mathematica MINOS MOSEK^∗ NAG Octeract Engine^∗ SCIP^∗ Xpress Optimizer^∗
QCP, MIQCP^∗	APOPT^∗ ANTIGONE^∗ Artelys Knitro^∗ CPLEX^∗ Gurobi Optimizer^∗ IPOPT LINDO^∗ Mathematica MINOS MOSEK^∗ NAG SCIP^∗ Octeract Engine^∗ Xpress Optimizer^∗ Xpress NonLinear^∗
SOCP, MISOCP^∗	Artelys Knitro^∗ CPLEX^∗ Gurobi Optimizer^∗ LINDO^∗ LOQO Mathematica MOSEK^∗ NAG SCIP^∗ Xpress Optimizer^∗
SDP, MISDP^∗	Mathematica MOSEK NAG
NLP, MINLP^∗	AOA^∗ APOPT^∗ ANTIGONE^∗ Artelys Knitro^∗ BARON^∗ Couenne^∗ Galahad library Gurobi Optimizer^∗ IPOPT LINDO^∗ LOQO MIDACO^∗ MINOS NAG NLPQLP NPSOL SCIP^∗ SNOPT^∗ Octeract Engine^∗ WORHP Xpress NonLinear^∗
GO	ANTIGONE^∗ BARON Couenne^∗ Mathematica LINDO SCIP Octeract Engine
CP	Artelys Kalis Comet CPLEX CP Optimizer Gecode Mathematica JaCoP Xpress Kalis

See also

References