Descrição
Problemas de satisfatibilidade booleana podem ser resolvidos com um solver SAT compacto e de alto desempenho.
É útil para pesquisadores, ferramentas de verificação, sistemas de planejamento e softwares que reduzem problemas lógicos para SAT. Resultados do solver dependem da codificação correta da entrada, então valide modelos antes de usar resultados para decisões.