Re: [Haskell-cafe] ANN: toysolver 0.4.0 released