Предложение SAT Solver, написанного на C ++ или haskell. Плюсы и минусы

Мне нужна библиотека или программа для решения SAT, написанная на C ++ или haskell. Я хотел бы знать, почему вы выбрали бы это и каковы плюсы и минусы этой библиотеки / программы. Мне нужно, чтобы он был максимально быстрым и простым в использовании.

Спасибо за Ваш ответ!