Blog post12 min read
Introducing Zirql, an embeddable query languageDraft
Why I built a shared query language for Zirium and Zincite, with word and CSV examples and a guide to embedding it in Rust.
Blog - MiniZinc
Blog post12 min read
How I write MiniZincDraft
How I name, structure and format MiniZinc models, and why I am building Zincite to help with that work.
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 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.
Blog post23 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.
Blog post19 min read
Rotating Workforce Scheduling in MiniZincDraft
Solving the Rotating Workforce Scheduling problem using MiniZinc.
Blog post17 min read
On Benchmarking MiniZinc and the LinkedIn Queens ProblemDraft
On Benchmarking MiniZinc and the LinkedIn Queens Problem
Blog post9 min read
Solving LinkedIn Queens using MiniZincDraft
Solving LinkedIn Queens using MiniZinc
