Blog - MiniZinc

Constraint programming Gecode C++MiniZinc releases research propagation Sudoku benchmarks optimization models puzzles scheduling programming algorithms games conferences rust

Blog post2026-07-167 min read

Gecode 6.3.0 and 6.4.0 are releasedDraft

Gecode 6.3.0 collects seven years of solver and MiniZinc integration work, while 6.4.0 modernizes the build, adds new propagation functionality, and starts a more active release line.

constraint programming Gecode C++MiniZinc releases

Blog post2026-07-164 min read

Table Talk TuningDraft

A real wedding seating plan led to a MiniZinc model that balances practical requests with the chance of finding something to talk about. The post shows the central constraints and the mixed-radix objective.

research constraint programming MiniZinc Gecode optimization

Supported conversation topics and their scores for a table of wedding guests

Blog post2025-11-2623 min read

Solving the Partridge Packing Problem using MiniZincDraft

A MiniZinc walk-through of the Partridge Packing Problem: pack one 1×1 square, two 2×2 squares, and so on into a square with exactly the same total area.

Constraint programming MiniZinc models puzzles