← Back to home
Skill

组合优化求解引擎

tencent_skillhub · 1.0.0 · Downloads 22 · Heat 24.8

Introduction

Google OR-Tools 组合优化工具箱使用指南,一套专为难题设计的开源求解套件,王牌是世界级 CP-SAT 求解器(结合约束规划与可满足性技术,专解标准线性求解器无能为力的调度与资源分配问题):覆盖车辆路径规划 VRP(距离矩阵、路径成本回调、首解策略)、线性规划 LP 与整数规划 MIP(pywraplp/GLOP 后端、连续与整数变量建模)、约束规划调度(区间变量、NewIntervalVar、AddNoOverlap 机器不重叠约束)、装箱与背包问题、网络最大流/最小费用流等场景;核心原则与关键规则齐全——建模与求解分离、CP-SAT 只接受整数(浮点须缩放如 1.25→125)、求解后必查 OPTIMAL/FEASIBLE/INFEASIBLE/LIMIT_REACHED 状态码、条件约束必须用 OnlyEnforceIf 布尔蕴含而非 Python if、不支持变量相乘等非线性运算、初始提示 AddHint 暖启动、多线程并行求解 num_search_workers、对称性破除与变量域收窄等性能技巧,并附排班表生成、多背包装箱两个完整实战工作流与十条最佳实践。Use when 处理车辆路径、排班调度、装箱背包、整数规划、网络流等组合优化问题时使用。Triggers include 组合优化、车辆路径、排班调度、线性规划、整数规划、装箱问题、约束求解、CP-SAT。淘宝搜索「AI灵匣」

Resource Information

Author:u_1ea983ac
Category:Dev Tools
Version:1.0.0
Auth: No auth
Pricing: Not specified
Publisher:重庆途光网络传媒有限责任公司

License information is collected from official sources and may be outdated or missing. Refer to the LICENSE file in the original repository before commercial use.

Tags
代码生成脚本工具

Information boundary

Information on this page is collected from official documents for technical presentation only and does not imply our endorsement. Pricing, quotas and availability are subject to the latest official statements. We make no commitment regarding any action you take after leaving this site.

Similar skills

编程大神.Skill

Not specified

【全栈能力】编程大神.Skill:面向复杂真实项目的高阶全栈编程助手。不止生成代码,而是从一句目标接手陌生代码库,拆解需求、补齐实现、追到根因、完成重构、联调前后端,并把结果推进到能运行、能验证、能交付。覆盖 Web、后端、脚本、iOS、安卓、鸿蒙 ArkUI、微信小程序及其他技术栈,支持中英文工程、疑难 Bug、跨模块任务和长任务续做;用构建、日志、真实入口、设备或接口证据说明结果。仅问概念时直接回答,要求落地时持续推进到验收或明确阻塞。

编程专家 Pro

Not specified

编程专家 Pro:融合编程专家 2.0.3 工程专题与编程大神的鸿蒙 ArkTS/ArkUI、微信小程序和小游戏开发资料。用于项目实现、根因调试、审查、重构、测试、架构性能分析及多端开发验证。支持自然语言和 @专题标识,按任务读取包内知识;只问概念时直接回答。

编程专家.Skill

API key required

编程专家.Skill P8级编程助手,25年实战经验技能Skill,全栈:Java/Php网站/软件项目、API设计、Bug诊断、代码生成、代码审查、重构、测试用例、性能基准、技术选型、文档生成、任务拆解、Spec驱动、Karpathy规范、CMS二次开发、前端设计、MySQL/Mariadb、项目知识图谱,以及工程纪律层(根因调试硬闭环、阶段导航、事故复盘/SLO、威胁建模/供应链安全、生产就绪/渐进式发布、AI编码治理、面向Agent代码可读性、LLM应用安全)。支持 @标识 显式调用跳过路由。

罗斯蒙德开源项目快速上手

Not specified

【罗斯蒙德开源项目快速上手】南京罗斯蒙德基于已交付项目沉淀的开源项目快速上手场景:默认场景是「讲解整个项目」:给一个本地代码文件夹或仓库地址就直接开讲——先30秒最小扫描、不打断不等回复,一路产出必出五件套:一句话结论(值不值得用)、代码架构(分层+模块依赖+主调用链+扩展机制)、三级能力清单(带高频度与代码位置)、可运行带注释Demo、四段式踩坑点与上手全流程指南,每条结论挂 路径:行号。采用「假设确认表」告知而非卡流程——写一行假设就往下干,用户没回应也照出全量报告,把多轮沟通压缩为零。用户带着需求来时才额外启用「需求满足度评估」分支:先以批处理澄清表把需求歧义问清(≤5问/轮、带默认选项、≤3轮)并冻结需求基线,再逐项做代码审查,给出能否实现、修改位置(文件:行号)、工作量(档位+人日+估算依据)与不涵盖功能的补充方案。三条路由:只讲项目走主线,项目+需求走主线打底+评估,已有单点诉求只出评估。支持分析本地代码路径,无本地路径时联网检索官方文档与源码。触发词:讲解这个项目、解读这个仓库、这个代码是干嘛的、看看这个项目、快速上手、看源码、这个项目怎么用、代码架构、项目结构、核心功能、能力清单、生成 demo、写个示例、踩坑点、注意事项、上手指南、源码分析、依赖注入、开源项目、能不能支持、能不能实现、需要改哪里、改哪些地方、工作量多少、需求满足度、功能项评估、缺口分析、二次开发评估、代码审查。

Bonsai · 本地小模型运行时

Marked free

本地运行 27B 级大模型的完整工具链(脚本 + 文档 + 社区跑分)。核心是 Bonsai 2 27B:三元权重只占 5.9 GB,却保留 98.2% 的 FP16 智能,笔记本或单卡就能跑。支持视觉理解(照片 / 截图 / PDF)、原生 OpenAI 风格 tool_calls 与 MCP、262K 上下文,跨 Metal / CUDA / Vulkan / ROCm / CPU。Apache-2.0。

腾讯云 CloudBase · Tencent CloudBase

Not specified

腾讯云 CloudBase 是面向 AI Coding 的后端一体化平台,内置数据库、存储、身份认证、云函数与云托管等服务,支持快速构建小程序、Web、移动 App、管理后台与 AI 应用。

What is a Skill

A Skill is a packaged single capability, such as text recognition, document summarization, or keyword extraction. Developers wrap the calling logic and prompts into a plugin-like unit, so users can load it without understanding the underlying model. StackPilot indexes a large number of skills that can be tried instantly or assembled into a plan.