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
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
