求解器是工业软件中的核心计算引擎，用于自动解决数学、逻辑或优化问题。求解器是寻找最优解的信息化工具，工作流程是通过建模输入问题（问题建模）、根据模型选择求解算法（选择算法）、利用特定算法寻找最优解（求解过程）、输出结果供用户分析和决策（输出结果）。
　　求解器起源于上世纪50年年代，发展到目前，求解器已经拥有多种类型，包括线性规划求解器、整数规划求解器、非线性规划求解器、约束满足求解器、启发式求解器等类型。根据网格算法不同，求解器分为结构求解器和非结构求解器两大类。
　　求解器能在大规模问题中快速找出最优解，且可解的数学规划问题非常宽泛，在金融、保险、能源电力、石油石化、航空航天、工业制造、媒体管理、网络通讯、交通物流、集成电路设计等领域应用广泛。
　　目前市面上求解器主要分为开源求解器（如SCIP、HiGHS）、商用求解器（如GUROBI、IBM CPLEX）两大类。求解器技术门槛高、研发难度大、研发风险较高，长期以来，全球商用求解器市场被美国Gurobi Optimization公司、IBM公司）、美国FICO公司等垄断。但作为工业软件核心计算引擎，求解器国产替代意义重大，近年来，为避免陷入受制于人局面，国产求解器研发正在崛起。
　　我国求解器相关研制企业有华天软件（DCS）、华中科技大学（CBA）、智因科技、阿里巴巴达摩院（MindOpt）、华为（天筹AI求解器）、联想（Le-OPT求解器）、杉数科技（COPT）、图灵量子、中国科学院软件研究所等。
　　近年来，随着技术及产品迭代，国产求解器竞争优势日益明显。如阿里巴巴达摩院的MindOpt在工信部产业发展促进中心举办的首届能源电子产业创新大赛中获得冠军，2024年MindOpt入选工信部发布的《人工智能赋能新型工业化典型应用入选案例公示名单》。
    由于技术门槛高、研发难度大，欧美企业在全球求解器市场保持着持领先地位。求解器是工业软件的核心计算模块，其发展水平直接关系着工业软件行业整体竞争力，为支持我国工业软件行业发展和创新，我国企业正逐渐打破国际技术垄断，逐步建立起完善、高效、自主化的高性能求解器体系。