Descrição
Problemas de satisfatibilidade booleana podem ser resolvidos com um resolvedor SAT paralelo derivado do Minisat. É útil para pesquisa, verificação, resolução de restrições e experimentos que codificam decisões como fórmulas lógicas.
Use com arquivos de entrada SAT e espere uma saída técnica. É um resolvedor especializado para quem trabalha com métodos formais, otimização ou raciocínio automatizado.