Silver medal to JaCoP
– Publicerad den 14 September 2016
The JaCoP constraint programming solver from LU/CS received the silver medal (second place) in the MIniZinc solver challenge in the fix search category this year. JaCoP is a Java-based solver developed by two main developers, Krzysztof Kuchcinski and Radoslaw Szymanek. The MiniZinc challenge is organized by NICTA (National ICT Australia) and this year had 15 entrants (solvers). In the competition each solver was given 20 different problems, each having 5 sets of input data, all together 100 different instances to solve.