Show HN: Vibesolve.ai – 将纯英语转化为Timefold代码
VibeSolve 是一款开源工具，能将优化问题的纯英语描述转化为 Timefold 代码。数学优化是数学和计算机科学的一个分支，用于搜索目标函数的最小值或最大值，广泛应用于运输、物流、排程等领域。目前该工具适用于快速原型开发，但无法生成生产级代码，需要使用者具备一定的技术能力。它在生成 Timefold 代码方面显著优于直接使用大语言模型。
背景速读
VibeSolve 是一个开源工具，能把自然语言描述的优化问题直接转换成 Timefold 代码，相当于用大语言模型（LLM）当翻译层。
- **Timefold** 是开源的约束求解器（constraint solver），前身是 OptaPlanner，2024 年从 Red Hat 分拆出来，专攻员工排班、车辆路线、生产排程等规划问题的自动化求解。你需要熟悉 Java 或 Python 的约束定义方式才能用它。
- 所谓"数学优化"（mathematical optimisation），就是在大量可能的组合中找出最优解，比如快递公司同时有几十个订单和几辆车，怎么分路线让时间最短。这通常靠运筹学算法（如遗传算法、模拟退火、线性规划）解决，不是简单逻辑判断。
- VibeSolve 解决的问题是：写 Timefold 的约束代码门槛高，LLM 直接生成效果差。它通过一系列提示工程和模板，让 LLM 对 Timefold 的理解更精准，相当于一个"优化代码的优化工具"。
- 当前定位是快速原型，生成的代码离生产还有距离，需要开发经验来调试和重构。目标用户是既懂优化又懂 AI 的人。