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-tha...

(strip `.html` suffix for executable Haskell file) Cheers, Sebastian