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

This is the fifth time Mauro stands on the MiniZinc podium thanks to the Sunny-CP Portfolio Solver. Previously, Mauro won the silver medal in 2018, and the gold medal at editions 2015, 2016, and 2017 of the challenge.