Descrição
Problemas de satisfatibilidade booleana podem ser resolvidos rapidamente em fluxos de pesquisa, verificação e solução de restrições. Desenvolvedores e pesquisadores usam MiniSat para testar codificações SAT, modelar restrições e estudar comportamento de solvers.
É um solver CLI científico/de desenvolvimento, não uma calculadora geral. Os resultados dependem do problema codificado, formato de entrada e entendimento do usuário sobre o que significa satisfatível ou insatisfatível.