Descrição
Resolve problemas de satisfatibilidade booleana usando um solver SAT moderno e multithread. Pesquisadores, ferramentas de verificação, sistemas de planejamento e fluxos de otimização o usam para encontrar atribuições satisfatórias ou provar insatisfatibilidade.
Use quando um problema pode ser codificado como SAT. O desempenho do solver depende muito da qualidade da codificação, restrições e tamanho da instância.