Proposta de solução para o problema 3-SAT (ProblemaSAT com cláusulas de 3 literais) através de um método de cobertura de vértices de um grafo gerado pelas variáveis e cláusulas do problema.
Para rodar é preciso que exista uma entrada num arquivo txt chamado "entrada_nsat.txt" localizado na mesma pasta.