This looks interesting: an international competition of solvers for package/component installation and upgrade problems. http://www.mancoosi.org/misc-2010/ (deadline: June 10) Is the underlying package dependency model the same as cabal's? If (nearly) so, then cabal's solver could enter the competition - if it wins, then fine; if not, then it could be replaced by the winner :-)