A Haskell implementation of a simple SAT solver