try this one (Fast SAT Solver):
Suggestion of a SAT Solver written in C++ or haskell. Pros and cons [closed]
-
28-11-2021 - |
Domanda
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!
Soluzione
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a StackOverflow