Descrição
Problemas de satisfatibilidade booleana podem ser resolvidos com um solver SAT moderno e multithread. É útil para pesquisadores e desenvolvedores que trabalham com verificação, resolução de restrições e automação baseada em lógica.
Resultados de solver dependem da codificação de entrada e das opções. Valide modelos ou provas de insatisfatibilidade antes de usar a saída em decisões de pesquisa ou engenharia.