minizinc

Gecode 6.3.0 and 6.4.0 are released after a long pause, bringing a modernized build system (CMake) and updated MiniZinc integration.

The article argues that current benchmarks for Constraint Acquisition are inadequate and introduces MPMMine, a benchmark suite designed to assess algorithms that discover, validate, and enhance mathematical programming models using diverse domain knowledge artifacts.

The author describes using the MiniZinc constraint solver to solve The New York Times Pips puzzle, demonstrating how to express constraints and find solutions efficiently.