求解器是工業(yè)軟件中的核心計算引擎，用于自動解決數(shù)學(xué)、邏輯或優(yōu)化問題。求解器是尋找最優(yōu)解的信息化工具，工作流程是通過建模輸入問題（問題建模）、根據(jù)模型選擇求解算法（選擇算法）、利用特定算法尋找最優(yōu)解（求解過程）、輸出結(jié)果供用戶分析和決策（輸出結(jié)果）。
　　求解器起源于上世紀(jì)50年年代，發(fā)展到目前，求解器已經(jīng)擁有多種類型，包括線性規(guī)劃求解器、整數(shù)規(guī)劃求解器、非線性規(guī)劃求解器、約束滿足求解器、啟發(fā)式求解器等類型。根據(jù)網(wǎng)格算法不同，求解器分為結(jié)構(gòu)求解器和非結(jié)構(gòu)求解器兩大類。
　　求解器能在大規(guī)模問題中快速找出最優(yōu)解，且可解的數(shù)學(xué)規(guī)劃問題非常寬泛，在金融、保險、能源電力、石油石化、航空航天、工業(yè)制造、媒體管理、網(wǎng)絡(luò)通訊、交通物流、集成電路設(shè)計等領(lǐng)域應(yīng)用廣泛。
　　目前市面上求解器主要分為開源求解器（如SCIP、HiGHS）、商用求解器（如GUROBI、IBM CPLEX）兩大類。求解器技術(shù)門檻高、研發(fā)難度大、研發(fā)風(fēng)險較高，長期以來，全球商用求解器市場被美國Gurobi Optimization公司、IBM公司）、美國FICO公司等壟斷。但作為工業(yè)軟件核心計算引擎，求解器國產(chǎn)替代意義重大，近年來，為避免陷入受制于人局面，國產(chǎn)求解器研發(fā)正在崛起。
　　我國求解器相關(guān)研制企業(yè)有華天軟件（DCS）、華中科技大學(xué)（CBA）、智因科技、阿里巴巴達(dá)摩院（MindOpt）、華為（天籌AI求解器）、聯(lián)想（Le-OPT求解器）、杉數(shù)科技（COPT）、圖靈量子、中國科學(xué)院軟件研究所等。
　　近年來，隨著技術(shù)及產(chǎn)品迭代，國產(chǎn)求解器競爭優(yōu)勢日益明顯。如阿里巴巴達(dá)摩院的MindOpt在工信部產(chǎn)業(yè)發(fā)展促進(jìn)中心舉辦的首屆能源電子產(chǎn)業(yè)創(chuàng)新大賽中獲得冠軍，2024年MindOpt入選工信部發(fā)布的《人工智能賦能新型工業(yè)化典型應(yīng)用入選案例公示名單》。
    由于技術(shù)門檻高、研發(fā)難度大，歐美企業(yè)在全球求解器市場保持著持領(lǐng)先地位。求解器是工業(yè)軟件的核心計算模塊，其發(fā)展水平直接關(guān)系著工業(yè)軟件行業(yè)整體競爭力，為支持我國工業(yè)軟件行業(yè)發(fā)展和創(chuàng)新，我國企業(yè)正逐漸打破國際技術(shù)壟斷，逐步建立起完善、高效、自主化的高性能求解器體系。