【 そるばー (solver) 】
モデル具体例を解くアプリケーション・ソフトウェア． 広義に使って， 意思決定を支援する目的で利用される数値計算ソフトウェア全般を 指す場合がある． 汎用的なモデル型に適用可能な汎用ソルバーと 特定目的のモデル型向けに開発される専用ソルバーとがある． 汎用ソルバーは多種類のものが市販されている． 専用ソルバーは個別に開発され， 企業情報システムのサブシステムとして組み込まれることも多い．