Choco-Solver premiado en las competiciones de solucionadores de 2023

choco-solver

Este año nuevamente, Choco Solver participó en las competiciones internacionales de solucionadores de restricciones organizadas durante la conferencia anual de Programación Por Restricciones, CP'2023. El solucionador open-source pudo distinguirse una vez más ganando diferentes premios:

Cuatro premios para la competición XCSP-2023, categorías: 🥇 FastCop 🥇 ParrallelCop 🥈 MainCop 🥉 MainCSP
Dos premios para la competición MiniZinc 2023, categorías: 🥉 Fixed 🥉 Parallel.

Estos diferentes premios atestiguan la calidad del solucionador, a la vanguardia de la tecnología a nivel internacional. Cosling está orgullosa de poder contribuir y aplicarlo en aplicaciones industriales de ayuda a la decisión.

1 octubre 2023