luabras/Triangularizacao-em-Grafos-para-o-problema-3-SAT

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.

C++