MiniZinc Challenge 2009
From MiniZinc Challenge 2009:
Also see
* MiniZinc Challenge 2009 -- Rules
* MiniZinc Challenge 2008 and Results.
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.Announcement of the results will be at CP2009: 20 September 2009.
Also see
* MiniZinc Challenge 2009 -- Rules
* MiniZinc Challenge 2008 and Results.