Silver medal on Minizinc Challenge 2017

The JaCoP constraint programming solver received the silver medal (second place) in the MIniZinc solver challenge in the fix search category this year. This year, the MiniZinc challenge was organized by Data61 and CSIRO and had 16 entrants (solvers). For more information please check http://www.minizinc.org/challenge2017/results2017.html