My learning SAT Solver Implementation in Haskell