[Haskell-cafe] Fwd: Mancoosi International Solver Competition