Basic SAT Solver written in Haskell