Descrição
Problemas de Fórmula Booleana Quantificada podem ser resolvidos com um resolvedor baseado em skolemização que emite certificados. O pacote instala o comando precompilado `squolem2` para fluxos de pesquisa e verificação envolvendo instâncias QBF. Ele lê arquivos de problemas e grava saída do resolvedor, então caminhos e certificados gerados devem ser rastreados junto com o experimento.