Descrição
Resolve problemas de satisfatibilidade booleana a partir de Python por meio de bindings do PicoSAT. Ajuda ferramentas de pesquisa, sistemas de verificação, planejadores e fluxos de solução de restrições a determinar se fórmulas lógicas podem ser satisfeitas.
Resultados do resolvedor dependem do modelo codificado. Confira pressupostos e geração de entrada com cuidado antes de usar respostas em verificação ou decisões operacionais.