Blog post7 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.
Blog - Gecode
Blog post4 min read
Propagating the minimum distance between selected pointsDraft
Selecting well-spaced points looks simple, but the usual decomposition creates quadratically many auxiliary variables. This post compares direct Gecode propagators and shows how a matching bound can strengthen them.
Blog post4 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.
