Gecode, la biblioteca de código abierto para programación con restricciones, anuncia dos nuevas versiones tras siete años sin lanzamientos. La 6.3.0, fechada el 7 de julio de 2026, consolida los cambios acumulados en la rama de mantenimiento desde la 6.2.0, mientras que la 6.4.0, publicada el 15 de julio de 2026, abre un nuevo ciclo de desarrollo. A partir de ahora, el desarrollo se traslada a la rama principal, CMake se convierte en el sistema de construcción oficial —con compatibilidad mantenida para Autotools, que se eliminará en futuras versiones— y las distribuciones pasan a ser exclusivamente en código fuente, sin instaladores para Windows ni imágenes para macOS.
La 6.4.0 introduce un paquete CMake con dependencias transitivas y soporte para Qt 6, y mantiene Qt 5.15. Los usuarios pueden enlazar contra el agregado Gecode::gecode o solicitar componentes individuales como driver, flatzinc o gist. En el plano funcional, la actualización de la integración con MiniZinc añade soporte para las restricciones estándar sliding_among y regular_set, la planificación completa con cumulative y disjunctive, anotaciones de propagación y mejores mensajes de error en FlatZinc. La versión 6.4.0 incorpora también el experimental interfaz black-box para propagadores definidos desde MiniZinc.
En propagación, se ofrece la posibilidad de elegir entre representaciones densa, dispersa o densa comprimida para conjuntos de tuplas en restricciones extensionales, y se refuerzan las cotas inferiores del bin-packing mediante funciones duales factibles. La versión incluye además correcciones de estabilidad en propagadores enteros, en coma flotante, búsqueda y clonación, junto con cobertura CI en Windows, macOS y Linux. Se elimina la macro pública GECODE_FLATZINC_VERSION y los módulos contrib qecode y quacode dejan de distribuirse.