El investigador y desarrollador Mikael Zayenz Lagerberg presenta en su blog un recorrido técnico por un conjunto de generadores de puzles lógicos basados en programación de restricciones. A partir de su trabajo sobre Sudoku a gran escala, en el que generó un repositorio de 434.201 instancias en cinco tamaños (de 6×6 a 36×36), extendió la misma metodología a otros juegos: Nonogram, Queens, Zip, Loopy, Tents, Patches, Wend y Swend. Todos están disponibles como puzles jugables en su página de juegos.
El artículo explica el método común: partir de una solución o imagen fuente, añadir, mover o eliminar información hasta que la respuesta sea única, y descartar candidatos que no puedan repararse. La generación y la verificación de unicidad se realizan sin conexión mediante Gecode 6.4.0, y el navegador solo recibe puzles estáticos con sus soluciones almacenadas. Las etiquetas de dificultad derivan de mediciones mecánicas de propagación y búsqueda, y ofrecen una ordenación relativa dentro de cada paquete.
En el caso del Sudoku, Lagerberg detalla cómo clasifica la dureza probando configuraciones de propagación (valor, cotas, dominio y variantes de shaving) y cómo aplica un proceso de simetrización rotacional offline que dejó 228 de los 500 puzles seleccionados exactamente simétricos. Para Nonogram, describe el uso del automáta finito derivado de la restricción regular, el mismo principio que él mismo introdujo en Gecode en 2005, y cómo se generan ahora puzles a partir de iconos SVG de Heroicons y Phosphor Icons. En Queens, el generador parte de una permutación válida y expande regiones ortogonalmente conectadas alrededor de cada reina. El texto se complementa con modelos MiniZinc que sirven como esquemas explicativos de cada generador.