lu.se

Datavetenskap

Lunds Tekniska Högskola

Denna sida på svenska This page in English This page in English

Silver medal to JaCoP

2016-09-14

Kod snitt i minizinc som har en network flow constraint **and** sum constraint (qunatified with forall).

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.

More information:
www.minizinc.org/challenge2016/results2016.html
http://jacop.cs.lth.se
jacop.eu