sol (フォーマット)

solは、数理計画問題の解を表すファイル形式です。^[1]ソルバーから解を返すために、nl形式 と組み合わせて使用​​されることがよくあります。この形式は、当初はソルバーをAMPLに接続するために発明されましたが^{[2] 、その後、} FortSPなどの他のシステムで外部ソルバーと対話するために採用されました。

sol 形式は低レベルで、読みやすさではなくコンパクトさを重視して設計されています。バイナリ表現とテキスト表現の両方があります。CPLEXやMOSEKなどの多くのソルバーは、直接または特別なドライバー プログラムを通じてこの形式のファイルを生成できます。

AMPL ソルバー ライブラリ (ASL) は、sol ファイルの読み取りと書き込みなどを可能にするオープン ソースです。AMPL 接続を実装するために多くのソルバーで使用されています。

AMPL/MPライブラリ^[3]にはNLライターとSOLリーダーが含まれています。

• nl (フォーマット) – 数学プログラミングの問題を提示するためのファイル形式