Mikael Zayenz Lagerkvist

Most-linked posts?

1. How to check for overlapping intervals
   2 people · 2 mentions · first linked 2025-10-10
2. Solving the Partridge Packing Problem Using MiniZinc
   2 people · 2 mentions · first linked 2025-11-26
3. From constraint models to playable puzzle games
   2 people · 2 mentions · first linked 2026-08-07

What Hacker News says?

1. mzl · 2025-09-18

   When using minizinc or other constraint programming tools to solve puzzles that require a single solution, I typically run them asking for 2 solutions. If I get 1 solution only, I know the puzzle is well formed, if I get more than one solution I know the puzzle is mal-formed. For example, in https://zayenz.se/blog/post/benchmarking-linkedin-queens/#te... I took a large number of LinkedIn Queens puzzles, and I filter…

   Comment linking /blog/post/benchmarking-linkedin-queens/

   on “A dumb introduction to z3”
2. birdculture · 2025-10-11

   Submitted How to check for overlapping intervals as a story · 97 points

   HN discussion
3. mzl · 2026-01-15

   https://zayenz.se - personal site with blog and research publications

   Comment linking /

   on “Ask HN: Could you share your personal website here?”
4. mzl · 2025-10-31

   Submitted Rotating Workforce Scheduling in MiniZinc as a story · 56 points

   HN discussion
5. mzl · 2025-10-15

   Chuffed has very low overhead while still being a very fast LCG solver, so it is not surprising that it works best for small problems. You might find it interesting to install and try both Huub ( https://github.com/huub-solver/huub ) and Pumpkin ( https://github.com/consol-lab/pumpkin ) as well. I have both in https://zayenz.se/blog/post/benchmarking-linkedin-queens/ with good results for the small problems I tested…

   Comment linking /blog/post/benchmarking-linkedin-queens/

   on “Show HN: I modeled the puzzle game Railbound with Constraint Programming”
6. mzl · 2018-09-11

   Submitted Monte Carlo Methods for the Game Kingdomino as a story · 47 points

   HN discussion
7. mzl · 2025-11-26

   Submitted Solving the Partridge Packing Problem Using MiniZinc as a story · 33 points

   HN discussion
8. fanf2 · 2025-11-27

   Submitted Solving the Partridge square packing problem using MiniZinc as a story · 15 points

   HN discussion
9. Bogdanp · 2025-10-10

   Submitted How to Check for Overlapping Intervals as a story · 4 points

   HN discussion
10. mzl · 2025-06-23

    Submitted Solving LinkedIn Queens Using MiniZinc as a story · 3 points

    HN discussion
11. ibobev · 2026-10-20

    Submitted Zirql: Extracting a Shared Query Language as a story · 2 points

    HN discussion
12. ibobev · 2026-10-16

    Submitted I Write MiniZinc as a story · 2 points

    HN discussion
13. ibobev · 2026-10-01

    Submitted Zpres: Presentations from Text as a story · 2 points

    HN discussion
14. thunderbong · 2026-08-08

    Submitted From constraint models to playable puzzle games as a story · 2 points

    HN discussion
15. mzl · 2018-08-13

    Submitted Monte Carlo Methods for the Game Kingdomino as a story · 2 points

    HN discussion
16. mzl · 2026-08-07

    Submitted From constraint models to playable puzzle games as a story · 1 points

    HN discussion
17. ibobev · 2026-07-20

    Submitted Rust 2018: Libraries in the 2018 Epoch as a story · 1 points

    HN discussion
18. ibobev · 2026-07-16

    Submitted Propagating the minimum distance between selected points as a story · 1 points

    HN discussion
19. ibobev · 2026-07-16

    Submitted What happens when Sudoku scales? as a story · 1 points

    HN discussion
20. ibobev · 2026-07-16

    Submitted Table Talk Tuning as a story · 1 points

    HN discussion
21. mzl · 2026-07-16

    Submitted Gecode 6.3.0 and 6.4.0 are released as a story · 1 points

    HN discussion
22. mzl · 2025-08-21

    Submitted Benchmarking MiniZinc and the LinkedIn Queens Problem as a story · 1 points

    HN discussion

Search all of HN for zayenz.se