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

Question

As it currently stands, this question is not a good fit for our Q&A format. We expect answers to be supported by facts, references, or expertise, but this question will likely solicit debate, arguments, polling, or extended discussion. If you feel that this question can be improved and possibly reopened, visit the help center for guidance.

Closed 9 years ago.

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