Suggestion of a SAT Solver written in C++ or haskell. Pros and cons

Question

I need a SAT solver library or program, written either in C++ or haskell. I'd like to know why would you choose it and what are the pros and cons of that library/program. I need it to be as fast as possible, and easy to use.

Thanks for your answer!

Answer 1

try this one (Fast SAT Solver):

http://dudka.cz/fss