Descrição
Fornece um resolvedor SAT implementado em Haskell puro. Resolvedores SAT determinam se restrições booleanas podem ser satisfeitas, algo útil para problemas de busca e verificação.
É útil para ferramentas de pesquisa, ensino, analisadores, planejadores e aplicações que codificam problemas como fórmulas booleanas. É uma biblioteca para desenvolvedores, não uma interface interativa de resolução.