Descrição
Fornece um pacote Haskell do resolvedor SAT Minisat. Resolvedores SAT determinam se uma fórmula lógica pode ser satisfeita, algo útil para resolução de restrições e verificação.
É útil para ferramentas de pesquisa, analisadores, planejadores, resolução de pacotes e aplicações que codificam problemas como restrições booleanas. É uma biblioteca para desenvolvedores, não um resolvedor gráfico geral.