# mikael (blogs) — RSS Amplifier

Recent posts from the 1 feeds in the RSS Amplifier directory that cover mikael.

Page: <https://rssamplifier.com/topics/mikael/blogs>  
Feed: <https://rssamplifier.com/topics/mikael/blogs.md>

---

## [zdev 1.0: yet another agentic loop, this one is mine](https://zayenz.se/blog/post/zdev-1-0/)

_2026-08-17 · zayenz.se_

zdev keeps agentic development work in durable Markdown briefs and tasks, with explicit implementation, independent verification, and integrations for five coding harnesses.

## [From constraint models to playable puzzle games](https://zayenz.se/blog/post/constraint-generated-puzzle-games/)

_2026-08-07 · zayenz.se_

I wanted to play some puzzles produced by my constraint-programming experiments. That small wish grew into nine games.

## [Gecode 6.3.0 and 6.4.0 are released](https://zayenz.se/blog/post/gecode-6-3-and-6-4-released/)

_2026-07-16 · zayenz.se_

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.

## [Propagating the minimum distance between selected points](https://zayenz.se/blog/post/minimum-distance-propagation-modref2026-paper/)

_2026-07-16 · zayenz.se_

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.

## [What happens when Sudoku scales?](https://zayenz.se/blog/post/scaling-sudoku-modref2026-paper/)

_2026-07-16 · zayenz.se_

The main result is a public collection of 434,201 generated Sudoku instances, ranging from 6×6 to 36×36. The paper's experiments provide a map of how their propagation-based hardness changes with size.

## [Table Talk Tuning](https://zayenz.se/blog/post/table-talk-tuning-modref2026-paper/)

_2026-07-16 · zayenz.se_

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.

## [Solving the Partridge Packing Problem using MiniZinc](https://zayenz.se/blog/post/partridge-packing/)

_2025-11-26 · zayenz.se_

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.

## [Rotating Workforce Scheduling in MiniZinc](https://zayenz.se/blog/post/rotating-workforce-scheduling/)

_2025-10-31 · zayenz.se_

Solving the Rotating Workforce Scheduling problem using MiniZinc.

## [How to check for overlapping intervals](https://zayenz.se/blog/post/how-to-check-for-overlapping-intervals/)

_2025-10-10 · zayenz.se_

Understanding intervals, their overlaps, and how to write effective conditions for interval-based problems

## [The Work Task Variation Problem](https://zayenz.se/blog/post/work-task-variation-cp2025-paper/)

_2025-08-22 · zayenz.se_

The Work Task Variation Problem, a paper by Mikael Z. Lagerkvist and Magnus Rattfeldt at CP 2025.

## [Trade Bitcoin and Ethereum Today (Sponsored)](https://crawlproof.com/a/NE0eDMrWOXiU)

_2025-08-21 · **Sponsored**_

Buy, sell, and margin trade BTC and ETH with EUR, USD, CAD, GBP, or JPY.

## [On Benchmarking MiniZinc and the LinkedIn Queens Problem](https://zayenz.se/blog/post/benchmarking-linkedin-queens/)

_2025-08-21 · zayenz.se_

On Benchmarking MiniZinc and the LinkedIn Queens Problem

## [Solving LinkedIn Queens using MiniZinc](https://zayenz.se/blog/post/linkedin-queens/)

_2025-06-19 · zayenz.se_

Solving LinkedIn Queens using MiniZinc

## [Rewritten site and blog](https://zayenz.se/blog/post/rewritten-site/)

_2025-06-18 · zayenz.se_

The blog and site has been rewritten