Programas por s-sat.sf.net

Durante um curso na University "La Sapienza" em Roma desenvolvi um solucionador sat totalmente trabalhador baseado na propagação e retrocesso da unidade; ele pode ler arquivos DIMACS e processar fórmulas cnf de qual