30 Jan
2009
30 Jan
'09
10:58 a.m.
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