Blog post11 min read
Adding WordVar to GecodeDraft
WordVar is a new Gecode variable type for fixed-width machine words, with a domain of known bits plus an optional signed, unsigned, or floating-point interval.
Blog - Gecode
Blog post14 min read
Planning with open variable lists in GecodeDraft
Open variable lists in Gecode 6.5.0 let a constraint model grow during search, so a plan can be found without fixing its length in advance.
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 post7 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.
