MiniZinc ha lanzado la versión 2.9.6 de su lenguaje de modelado de restricciones, actualizando el soporte para solvers y simplificando el proceso de modelado. La actualización, disponible desde el 24 de abril de 2024, incluye una migración del solver Xpress de BCL a una API en C, con soporte para parámetros de Xpress 9.8, así como la adición de soporte para restricciones indicadoras, inicio en caliente y desigualdades cuadráticas convexas. Además, el compilador ahora elimina los términos no relacionados con arrays en las declaraciones de variables en FlatZinc, facilitando el análisis de archivos .fzn y JSON. La nueva versión también incorpora soporte para SCIP 10, eliminando el soporte para versiones anteriores de SCIP (7 y anteriores). Se han añadido versiones de las restricciones count_* para booleanos, flotantes y conjuntos de enteros, permitiendo que los solvers las soporten de forma nativa. Finalmente, se ha introducido una opción para configurar un límite de tiempo de limpieza para los solvers antes de la terminación forzada, junto con 15 correcciones de errores. MiniZinc es un lenguaje de alto nivel desarrollado en la Universidad Monash con el apoyo de OPTIMA, diseñado para facilitar la expresión y solución de problemas de optimización discreta.
Noticias agregadas con IA