[Haskell-cafe] experience with SmallCheck

Sebastian Fischer sebf at informatik.uni-kiel.de
Fri Jan 30 10:58:08 EST 2009

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:


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


More information about the Haskell-Cafe mailing list