[Haskell-cafe] experience with SmallCheck

[Sebastian Fischer]

Today I played with SmallCheck.

Interested in what happened when I tried to find a small unsatisfiable  
boolean formula that is not easily detected as such?

Watch my attempts:

      <http://www-ps.informatik.uni-kiel.de/~sebf/haskell/unsatisfiable-formula-that-needs-guessing-to-fail.lhs.html 
 >

(strip `.html` suffix for executable Haskell file)

Cheers,
Sebastian