solver

Gwern 发布了《Samon》的完整设计文档。这是一款禅意庭院耙沙解谜游戏，将 2023 年的一个草图构想扩展为完整设计，包含求解器、关卡生成、演绎式评分器，以及一个可玩原型，所有代码与数据均已开源。

本文演示如何使用谷歌的OR-Tools CP-SAT约束满足求解器解决一个实体玉米拼图，并突出了其相较于朴素回溯方法的高效性。

VeriSimpl 提出了一种求解器-LLM框架，利用基于简化的验证来确保自然语言优化问题正确转换为求解器公式，相较于现有方法提高了准确性。

Quicopt 是一个新的优化求解器服务，支持标准 Python 建模库（OR-Tools MathOpt 和 Pyomo），并提供免费套餐，无需 API 密钥。