Lesson plan

Sol (format)

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 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 contains an NL writer and SOL reader.

Back to article

Article summary

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 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 contains an NL writer and SOL reader.

Key claims

No claims recorded.

Discussion questions

  1. Summarise the article in your own words. Which single claim would you verify first, and why?
  2. Which claim in this article is most likely to be revised as the sources update? How would you check its current status?
  3. If two sources disagreed about one of these facts, what would you need in order to trust one over the other?

Bibliography

No sources recorded.

Key claims and bibliography are generated from the same tracked claims and sources as the article page.