Adicao dos arquivos de configuracao do 3-SAT
Atualizacao
Atualizacao
Atualizacao
Inicio da implementacao do problema 3-SAT
Implementacao do problema 3-SAT
Termino da implementacao do problema 3-SAT
Atualizacao
Atualizacao
Pequena alteracao na configuracao do ag
Atualizacao
Atualizacao do escalonamento linear
Atualizacao
Update
Atualizacao
Atualizacao das configuracoes