has been awarded 10 times in the different categories of international solver competitions MiniZinc Challenge and XCSP3 Competition. Those annual challenges compete all constraint solvers on a selection of constraint satisfaction and optimization problems. Choco Solver is a big winner of the "open" category, which authorizes the solver to apply parallel computing and autonomous search heuristics. It is also second of the "Portfolio" category. Fun fact: the 1st one uses Choco Solver internally. Overall, those results confirm the quality of Choco Solver in both performance and robustness. COSLING is proud to be the first contributor to Choco Solver after the Mines-Telecom Institute, le academic partner of COSLING.
September 1st, 2017
