minizinc

一位研究者的博客文章描述了他如何将约束模型转化为可玩的益智游戏，基于他关于将数独作为约束问题进行扩展的论文。文章分享了MiniZinc模型、一个包含434,201个数独实例的仓库，以及九个益智游戏的可玩版本。

本文研究了微调小语言模型（0.6B-20B参数）以从自然语言描述生成语法正确的MiniZinc模型，提出了一种跨模型错误自举方法，实现了高达98%的执行准确率，但求解准确率仍然有限。

经过长时间停更后，Gecode 6.3.0 和 6.4.0 现已发布，带来了现代化的构建系统（CMake）以及更新后的 MiniZinc 集成。

文章指出当前约束获取的基准测试存在不足，并介绍了MPMMine——一个旨在评估利用多样化领域知识工件发现、验证和增强数学规划模型的算法的基准测试套件。

作者描述了使用MiniZinc约束求解器解决《纽约时报》Pips谜题的过程，展示了如何高效地表达约束条件并找到解决方案。