Jacopo Mauro, together with Roberto Amadini and Maurizio Gabbrielli, won the Silver medal at the 2018 MiniZinc Challenge, an international annual competition of constraint programming solvers on a variety of benchmarks.

This is the forth time Mauro stands on the MiniZinc podium thanks to the Sunny-CP Portfolio Solver. After winning the gold medal at editions 2015, 2016, and 2017 of the challenge, this year he “lost the crown” to Google’s OR-tools.