[Haskell-cafe] Fwd: Mancoosi International Solver Competition

[Johannes Waldmann]

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 :-)