标签： c++ haskell sat-solvers
我需要一个SAT求解器库或程序，用C ++或haskell编写。我想知道您为什么选择它以及该库/程序的优缺点是什么。我需要它尽可能快，并且易于使用。
感谢您的回答！
答案 0 :(得分：4)
尝试这个（快速SAT解算器）：
http://dudka.cz/fss