标签：组合优化

一个通用的模型上下文协议（MCP）服务器，用于解决具有逻辑和数值约束的组合优化问题，提供统一的接口支持多种优化求解器。

USolver是一个专注于组合优化、SMT/凸求解器和形式化方法的求解工具，适用于数学问题的语言模型工具开发。

使用量子近似优化算法（QAOA）解决基于图的组合资产识别问题，作为量子退火器的替代方案。

提供多种算法解决最大团问题（MCP），包括精确搜索、遗传算法和遗传算法结合模拟退火，适用于网络分析、生物信息学等领域。