Section: Highlights of the Year

Highlights of the Year

Award at the MiniZinc Challenge 2016 solver competition in the Fixed category (Bronze). The aim of the challenge is to start to compare various constraint solving technology on the same problems sets. The focus is on finite domain propagation solvers. An auxiliary aim is to build up a library of interesting problem models, which can be used to compare solvers and solving technologies.