try this one (Fast SAT Solver):
Suggestion of a SAT Solver written in C++ or haskell. Pros and cons [closed]
-
28-11-2021 - |
سؤال
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!
المحلول
لا تنتمي إلى StackOverflow