Re: [Haskell-cafe] How to increase solver iterations?