[Haskell-cafe] experience with SmallCheck
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