An Haskell library to solve SAT problems, Maybe