优化技术 (Optimization) 是用于在众多可能性中寻找最优方案的技术，是现代工业、商业决策行为中的核心工具之一，被广泛应用于电力能源、工业制造、交通物流、零售、金融、云计算、科研等行业。例如设计工期最短的项目计划、总成本最低的发电计划，风险水平最低的资金调配方案、对健康组织伤害最小的放疗方案，最节省燃料的火箭发射方案、里程最短的运输路线等…… 所有这些寻找“最优”解决方案的问题，都是优化技术的应用场景。

在实践中，人们需要分析实际问题的系统结构、逻辑关系以及期望达成的目标，然后利用函数、等式、不等式、仿真程序等工具将其形式化地描述出来，这个过程通常被称为 数学建模 (Modeling)。问题越复杂，数学建模得到的优化模型就越是庞大，因此很多实际应用中的优化问题的复杂程度已经远远超出一般工具所能处理的范围，此时需要使用 优化求解器 (Solver) 来解决这些问题，寻找最优解。

MindOpt 是优化求解器套件，是工业软件之芯。我们围绕 MindOpt 优化求解器，研发了以下多个软件和平台服务，以满足用户在智能决策场景中不同的需求，帮助企业降本增效。我们当前研发的产品包括 MindOpt 优化求解器， MindOpt APL 建模语言， MindOpt Tuner 调参器，MindOpt 优化建模平台。

MindOpt 优化求解器是一款高效的优化求解软件，目前支持求解线性规划、混合整数线性规划、凸二次规划、凸二次约束规划、混合整数二次规划、混合整数二次约束规划、半定规划问题，关于其使用方式和说明将在