Re: [Haskell-cafe] Haskell WalkSat algorithm implementation