minizinc

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

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

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