Tag
Gwern publishes a full design document for Samon, a zen garden raking puzzle, turning a 2023 sketch into a complete design with solvers, level generation, a deductive grader, and a playable prototype with all code and data released.
The article demonstrates how to solve a physical corn puzzle using Google's OR-Tools CP-SAT constraint satisfaction solver, highlighting its efficiency over naive backtracking methods.
VeriSimpl introduces a solver-LLM framework that uses simplification-based verification to ensure correct translation of natural language optimization problems into solver formulations, achieving improved accuracy over existing methods.
Quicopt is a new optimization solver as a service that supports standard Python modeling libraries (OR-Tools MathOpt and Pyomo) and offers a free tier without needing an API key.