c++ - 用 C++ 或 haskell 编写的 SAT Solver 的建议。优点和缺点

Question

我需要一个 SAT 求解器库或程序，用 C++ 或 haskell 编写。我想知道您为什么会选择它，以及该库/程序的优缺点是什么。我需要它尽可能快，并且易于使用。

感谢您的回答！

Answer 1

试试这个（快速 SAT 求解器）：

http://dudka.cz/fss